Primate - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Primate

Primate(primate)

Adapid, Adapid_group, Anthropoidea, Arctocebus, Avahi, Cynocephalidae, Cynocephalus, Cynocephalus_variegatus, Daubentonia, Daubentoniidae, Dermoptera, Indriidae, Lemuroidea, Lorisidae, Nycticebus, Omomyid, Omomyid_group, Perodicticus, Primates, Prosimii, Ptilocercus, Scandentia, Strepsirhini, Tarsiidae, Tarsioidea, Tarsius, Tarsius_glis, Tarsius_syrichta, Tupaia, Tupaiidae, anthropoid, colugo, family_Cynocephalidae, family_Daubentoniidae, family_Indriidae, family_Lorisidae, family_Tarsiidae, family_Tupaiidae, flying_cat, flying_lemur, genus_Arctocebus, genus_Avahi, genus_Cynocephalus, genus_Daubentonia, genus_Galago, genus_Indri, genus_Loris, genus_Nycticebus, genus_Perodicticus, genus_Ptilocercus...

appearance as argument number 1

(disjointDecomposition Primate Ape Monkey Hominid)	Merge.kif 14765-14765	Primate is disjointly decomposed into ape, monkey, and hominid
(documentation Primate ChineseLanguage "这是 Primate 的 Mammal Class。")	chinese_format.kif 3434-3434	Primate is disjointly decomposed into ape, monkey, and hominid
(documentation Primate EnglishLanguage "The Class of Mammals which are Primates.")	Merge.kif 14766-14767	Primate is disjointly decomposed into ape, monkey, and hominid
(externalImage Primate "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ 723px_Orang_utan_bukit_lawang_2006.jpg")	pictureList-ImageNet.kif 237-237	Primate is disjointly decomposed into ape, monkey, and hominid
(externalImage Primate "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1f/ Ring_tailed_lemurs.jpg/ 250px_Ring_tailed_lemurs.jpg")	pictureList-ImageNet.kif 236-236	Primate is disjointly decomposed into ape, monkey, and hominid
(externalImage Primate "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 3e/ Mandrillus_sphinx_2_(Piotr_Kuczynski).jpg/ 800px_Mandrillus_sphinx_2_(Piotr_Kuczynski).jpg")	pictureList-ImageNet.kif 235-235	Primate is disjointly decomposed into ape, monkey, and hominid
(externalImage Primate "http://upload.wikimedia.org/wikipedia/en/thumb/9/ 9f/ Primate_in_cage_restraint.jpeg/ 200px_Primate_in_cage_restraint.jpeg")	pictureList-ImageNet.kif 234-234	Primate is disjointly decomposed into ape, monkey, and hominid
(subclass Primate Mammal)	Merge.kif 14764-14764	Primate is a subclass of mammal

appearance as argument number 2

(initialPart Bone Primate)	Anatomy.kif 20-20	Every bone is initially part of a primate
(subclass Ape Primate)	Merge.kif 14769-14769	Ape is a subclass of primate
(subclass Hominid Primate)	Merge.kif 14777-14777	Hominid is a subclass of primate
(subclass Lemur Primate)	Mid-level-ontology.kif 32164-32164	Lemur is a subclass of primate
(subclass Monkey Primate)	Merge.kif 14773-14773	Monkey is a subclass of primate
(termFormat ChineseLanguage Primate "灵长类动物")	chinese_format.kif 998-998	Monkey is a subclass of primate
(termFormat EnglishLanguage Primate "primate")	english_format.kif 1203-1203	Monkey is a subclass of primate
(termFormat FrenchLanguage Primate "primate")	french_format.kif 675-675	Monkey is a subclass of primate
(termFormat Hindi Primate "vikasita pashuvarga")	terms-hindi.txt 206-206	Monkey is a subclass of primate
(termFormat ItalianLanguage Primate "Primato")	terms-it.txt 209-209	Monkey is a subclass of primate
(termFormat JapaneseLanguage Primate "霊長類")	japanese_format.kif 2359-2359	Monkey is a subclass of primate
(termFormat PortugueseLanguage Primate "Primata")	portuguese_format.kif 627-627	Monkey is a subclass of primate
(termFormat cz Primate "primate")	terms-cz.txt 243-243	Monkey is a subclass of primate
(termFormat de Primate "Primas")	terms-de.txt 502-502	Monkey is a subclass of primate
(termFormat ro Primate "primatã")	relations-ro.kif 696-696	Monkey is a subclass of primate
(termFormat tg Primate "Primado")	terms-tg.txt 210-210	Monkey is a subclass of primate

antecedent

(=> (and (instance ?H Primate) (instance ?D DiseaseOrSyndrome) (not (attribute ?H ?D))) (exists (?L1 ?L2) (and (instance ?L1 Foot) (instance ?L2 Foot) (not (equal ?L1 ?L2)) (part ?L1 ?H) (part ?L2 ?H))))	Mid-level-ontology.kif 14058-14071	If an object is an instance of primate and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of foot and the third object is an instance of foot and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
(=> (and (instance ?H Primate) (instance ?D DiseaseOrSyndrome) (not (attribute ?H ?D))) (exists (?L1 ?L2) (and (instance ?L1 Leg) (instance ?L2 Leg) (not (equal ?L1 ?L2)) (part ?L1 ?H) (part ?L2 ?H))))	Mid-level-ontology.kif 14031-14044	If an object is an instance of primate and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of leg and the third object is an instance of leg and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
(=> (and (instance ?H Primate) (instance ?D DiseaseOrSyndrome) (not (attribute ?H ?D))) (exists (?L1 ?L2) (and (instance ?L1 Lung) (instance ?L2 Lung) (not (equal ?L1 ?L2)) (part ?L1 ?H) (part ?L2 ?H))))	Mid-level-ontology.kif 12547-12560	If an object is an instance of primate and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of lung and the third object is an instance of lung and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object

consequent

(=> (instance ?ARM Arm) (exists (?PRIMATE) (and (instance ?PRIMATE Primate) (part ?ARM ?PRIMATE))))	Mid-level-ontology.kif 13811-13816	If an object is an instance of arm, then there exists another object such that the other object is an instance of primate and the object is a part of the other object
(=> (instance ?B Breast) (exists (?P) (and (instance ?P Primate) (part ?B ?P))))	Mid-level-ontology.kif 14190-14195	If an object is an instance of breast, then there exists another object such that the other object is an instance of primate and the object is a part of the other object
(=> (instance ?SHOULDER Shoulder) (exists (?PRIMATE) (and (instance ?PRIMATE Primate) (part ?SHOULDER ?PRIMATE))))	Mid-level-ontology.kif 14134-14139	If an object is an instance of shoulder, then there exists another object such that the other object is an instance of primate and the object is a part of the other object

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