TreeView Knowledge Base Browser - Primate

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 14366-14366	Primate is disjointly decomposed into ape, monkey, and hominid
(documentation Primate ChineseLanguage "这是 Primate 的 Mammal Class。")	chinese_format.kif 3434-3434
(documentation Primate EnglishLanguage "The Class of Mammals which are Primates.")	Merge.kif 14367-14368
(externalImage Primate "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ 723px-Orang-utan_bukit_lawang_2006.jpg")	pictureList-ImageNet.kif 237-237
(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
(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
(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
(subclass Primate Mammal)	Merge.kif 14365-14365	Primate is a subclass of mammal

appearance as argument number 2

(subclass Ape Primate)	Merge.kif 14370-14370	Ape is a subclass of primate
(subclass Hominid Primate)	Merge.kif 14378-14378	Hominid is a subclass of primate
(subclass Lemur Primate)	Mid-level-ontology.kif 29873-29873	Lemur is a subclass of primate
(subclass Monkey Primate)	Merge.kif 14374-14374	Monkey is a subclass of primate
(termFormat ChineseLanguage Primate "灵长类动物")	chinese_format.kif 998-998
(termFormat EnglishLanguage Primate "primate")	english_format.kif 1203-1203

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 12174-12187	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 12147-12160	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 10704-10717	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 11943-11948	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 12306-12311	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 12250-12255	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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