Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - documentation
documentation

appearance as argument number 1
-------------------------


(instance documentation TernaryPredicate) Merge.kif 361-361 documentation is an instance of ternary predicate
(domain documentation 1 Entity) Merge.kif 362-362 The number 1 argument of documentation is an instance of entity
(domain documentation 2 HumanLanguage) Merge.kif 363-363 The number 2 argument of documentation is an instance of human language
(domain documentation 3 SymbolicString) Merge.kif 364-364 The number 3 argument of documentation is an instance of symbolic string
(documentation documentation EnglishLanguage "A relation between objects in the domain of discourse and strings of natural language text stated in a particular HumanLanguage. The domain of documentation is not constants (names), but the objects themselves. This means that one does not quote the names when associating them with their documentation.") Merge.kif 366-370 The number 3 argument of documentation is an instance of symbolic string

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage documentation "documentation") domainEnglishFormat.kif 20058-20058
(termFormat ChineseTraditionalLanguage documentation "文件") domainEnglishFormat.kif 20059-20059
(termFormat ChineseLanguage documentation "文件") domainEnglishFormat.kif 20060-20060
(format EnglishLanguage documentation "%n %3") english_format.kif 97-97

appearance as argument number 0
-------------------------


(documentation Bone EnglishLanguage "A Bone that is (or was) part of a Primate.") Anatomy.kif 21-21
(documentation connectedBodyPartTypes EnglishLanguage "Parts of a healthy organism that are present and connected to each other.") Anatomy.kif 24-25
(documentation HeadBone EnglishLanguage "head bone") Anatomy.kif 54-54
(documentation CranialBone EnglishLanguage "cranial bone") Anatomy.kif 59-59
(documentation FrontalBone EnglishLanguage "frontal bone") Anatomy.kif 63-63
(documentation LeftParietalBone EnglishLanguage "left parietal bone") Anatomy.kif 67-67
(documentation RightParietalBone EnglishLanguage "right parietal bone") Anatomy.kif 71-71
(documentation TemporalBone EnglishLanguage "temporal bone") Anatomy.kif 75-75
(documentation LeftTemporalBone EnglishLanguage "left temporal bone") Anatomy.kif 79-79
(documentation RightTemporalBone EnglishLanguage "right temporal bone") Anatomy.kif 83-83
(documentation OccipitalBone EnglishLanguage "occipital bone") Anatomy.kif 87-87
(documentation SphenoidBone EnglishLanguage "sphenoid bone") Anatomy.kif 93-93
(documentation EthmoidBone EnglishLanguage "ethmoid bone") Anatomy.kif 97-97
(documentation FacialBone EnglishLanguage "facial bone") Anatomy.kif 101-101
(documentation LeftZygomaticBone EnglishLanguage "left zygomatic bone") Anatomy.kif 108-108
(documentation RightZygomaticBone EnglishLanguage "right zygomatic bone") Anatomy.kif 112-112
(documentation LeftMaxillaBone EnglishLanguage "left maxilla bone") Anatomy.kif 119-119
(documentation RightMaxillaBone EnglishLanguage "right maxilla bone") Anatomy.kif 123-123
(documentation LeftNasalBone EnglishLanguage "left nasal bone") Anatomy.kif 129-129
(documentation RightNasalBone EnglishLanguage "right nasal bone") Anatomy.kif 133-133
(documentation Mandible EnglishLanguage "mandible") Anatomy.kif 137-137
(documentation LeftPalatineBone EnglishLanguage "left palatine bone") Anatomy.kif 146-146
(documentation RightPalatineBone EnglishLanguage "right palatine bone") Anatomy.kif 150-150
(documentation LeftLacrimalBone EnglishLanguage "left lacrimal bone") Anatomy.kif 157-157
(documentation RightLacrimalBone EnglishLanguage "right lacrimal bone") Anatomy.kif 161-161

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 3.0 is open source software produced by Articulate Software and its partners