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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14627-14627	Primate is disjointly decomposed into ape, monkey, and hominid
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3434-3434
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14628-14629
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 237-237
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 236-236
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 235-235
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 234-234
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14626-14626	Primate is a subclass of mammal

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 21-21	Every bone is initially part of a primate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14631-14631	Ape is a subclass of primate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14639-14639	Hominid is a subclass of primate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30471-30471	Lemur is a subclass of primate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14635-14635	Monkey is a subclass of primate
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 998-998
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1203-1203
No TPTP formula. May not be expressible in strict first order.	french_format.kif 675-675
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 206-206
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 209-209
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2359-2359
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 627-627
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 243-243
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 696-696
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 210-210

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12709-12722	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12682-12695	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11198-11211	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12462-12467	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12841-12846	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12785-12790	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