Class: Formalism

pl "Formalisms"
sg "Formalism"
comment "this class represents an abstraction of the formalism of representation used to describe knowledge."
label "Formalism"

Class: Formalism
Doc_Model ⊆ represented_in only Formalismacetext "Everything that is representeded_in by a Doc_Model is a Formalism."
File_Format ⊆ related_to only Formalismacetext "Everything that is relateded_to by a File_Format is a Formalism."
Ontology ⊆ has_formalism exactly 1 Formalismacetext "Every Ontology has_formalisms exactly 1 Formalism."
Representation_Language ⊆ has_formalism only Formalismacetext "Everything that is has_formalismed by a Representation_Language is a Formalism."
TOK_Resource ⊆ has_formalism only Formalismacetext "Everything that is has_formalismed by a TOK_Resource is a Formalism."

http://cui.unige.ch/isi/onto/tok/TOK.owl#Formalism