| appearance as argument number 1 |
|
| s__documentation(s__comment__m,s__ChineseLanguage,'(comment ?ENT ?STR ?PER)是一项方便的关系， 它允许 编写本体论的专家 在一个限定的 Entity ?ENT 以 SymbolicString ?PER 写下注释 ?ST。')
|
Merge.kif 18619-18621 | |
| s__documentation(s__comment__m,s__EnglishLanguage,'(comment ?ENT ?STR ?PER) is a convenient relationship that allows ontologists represented by SymbolicString ?PER to write down commentaries ?STR on a defined Entity ?ENT')
|
Merge.kif 18616-18618 | |
| s__domain(s__comment__m,1,s__Entity)
|
Merge.kif 18625-18625 | The number 1 argument of comment is an instance of entity |
| s__domain(s__comment__m,2,s__SymbolicString)
|
Merge.kif 18626-18626 | The number 2 argument of comment is an instance of symbolic string |
| s__domain(s__comment__m,3,s__SymbolicString)
|
Merge.kif 18627-18627 | The number 3 argument of comment is an instance of symbolic string |
| s__instance(s__comment__m,s__TernaryPredicate) s__instance(s__TernaryPredicate,s__SetOrClass)
|
Merge.kif 18615-18615 | comment is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| s__format(s__EnglishLanguage,s__comment__m,'%3 states %2 about %1')
|
domainEnglishFormat.kif 770-770 | |
| s__termFormat(s__ChineseLanguage,s__comment__m,'注释')
|
Merge.kif 18623-18623 | "注释" is the printable form of comment in ChineseLanguage |
| s__termFormat(s__EnglishLanguage,s__comment__m,'comment')
|
Merge.kif 18622-18622 | "comment" is the printable form of comment in english language |
| appearance as argument number 0 |
|
|
| s__comment(s__AudioRecording,'In ver 1.111 of Mid-level-ontology.kif , it says that (subclass AudioRecording Text). This does not seem right. Deleting that statement. Creating a parent class called Recording which means something that captures a Process that happened in real life. AudioRecording and VideoRecording will inherit from there. A Photograph is also a still recording of what happened in real life - as opposed to Graphic Art which is more of an ArtWork than a Recording, so it will also inherit from Recording. (09-14-2011)','KJN')
|
Mid-level-ontology.kif 11652-11658 | |
| s__comment(s__LyricalContent,'It is important to distinguish the propositional content of Lyrics from the text that displays it. Some songs are translated from one language to another, but use essentially the same Lyrical content. (09-15-2011)','KJN')
|
Mid-level-ontology.kif 11128-11130 | |
| s__comment(s__MakingMusic,'Changing the old Music to MakingMusic to be more consistent with the verb-form that Process seem to take. (09-14-2011)','KJN')
|
Merge.kif 13537-13538 | |
| s__comment(s__MakingVocalMusic,'Currently, VocalMusic also inherits from Speaking. Changing this to more general Vocalizing. Acapella groups today use their VocalCord to create music in ways that are more than just speaking. (09-14-2011)','KJN')
|
Merge.kif 13567-13569 | |
| s__comment(s__MarchingBand,'Subclassing it from Organization as well so that relations associated to Organization can be used to describe it, such as subOrganization for the educational institution it represents, or when it was founded using yearOfFounding, who its director is, etc. 09-28-2011','KJN')
|
Music.kif 987-990 | |
| s__comment(s__Monarchy,'Note that there are few (mainly historical) exceptions where the rule was divided among more people or in cases of elective monarchies. For now these exceptions are not covered by the definition to avoid the usual but circular definition that Monarchy is ruled by a Monarch and Monarch is a ruler of a Monarchy.(06-14-2015)','msvarny') | Government.kif 197-197 | |
| s__comment(s__OccupationalRole,'This term is being defined in this more general way so that it corresponds to the way words describing occupations work in natural langueage. For example a Driver might be a Professional or just basically any person Driving since for the TimeInterval he or she is Driving it is his or her main activity and in the GroupOfPeople on board of the Car the Driver has a different role then the passengers. Whether a person is a professional driver would be by a more specific OccupationalRole like ProfessionalDriver that would be a subAttribute also of the RelationalAttribute Professional.','MSV') | Mid-level-ontology.kif 19648-19654 | |
| s__comment(s__PlayingInstrumentFn__m,'This was taken from Biography.kif and moved to Music.kif. 09-28-2011','KJN')
|
Music.kif 843-844 | |
| s__comment(s__composer__m,'Right now, composer is a subrelation of authors, but authors is related to a Text versus to a Proposition, so Im changing it such that compsoer now is a subrelation of creator, so that it can work with MusicalComposition, which is now a subclass of Proposition. (09-14-2011)','KJN')
|
Music.kif 156-159 | |
| s__comment(s__contestEntry__m,'Entity is used instead of Object as there are music contest, for instance, where its the MusicalComposition or LyricalContent (which are Proposition) that is being judged. 09-30-2011','KJN')
|
Music.kif 1090-1092 | |
| s__comment(s__contestParticipantRepresentation__m,'This is an additional relation to contestParticipant for those contests where representation is important, such as the Olympics. It has to be tied to the contest as there are instances when somebody may be a citizen or national of one country, for instance, but represent some other country is some other contest. 09-30-2011','KJN')
|
Music.kif 1113-1117 | |
| s__comment(s__record__m,'Adding a more specific relation than represents. While represents can be something like a Logo that represents a Brand, record is more strict in the sense that it is an accurate rendering of some Process that occurred in real life. (09-14-2011).','KJN')
|
Mid-level-ontology.kif 11685-11688 | |
| s__comment(s__stored__m,'Adding a stored method that is specific to storing ContentBearingObject such as SymbolicString, Recording, etc. in a DataStorageDevice. Will be changing some axioms to use this instead of other, vaguer ways of describing it.','KJN')
|
Mid-level-ontology.kif 11712-11714 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners