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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ape

Sigma KEE - Ape
Ape(ape)
Gorilla_gorilla, Gorilla_gorilla_beringei, Gorilla_gorilla_gorilla, Gorilla_gorilla_grauri, Hylobates, Hylobates_lar, Hylobates_syndactylus, Hylobatidae, Pan, Pan_paniscus, Pan_troglodytes, Pan_troglodytes_schweinfurthii, Pan_troglodytes_troglodytes, Pan_troglodytes_verus, Pongidae, Pongo, Pongo_pygmaeus, Symphalangus, Symphalangus_syndactylus, anthropoid, anthropoid_ape, anthropoidal, ape, apelike, bonobo, central_chimpanzee, chimp, chimpanzee, eastern_chimpanzee, eastern_lowland_gorilla, family_Hylobatidae, family_Pongidae, genus_Gorilla, genus_Hylobates, genus_Pan, genus_Pongo, genus_Symphalangus, gibbon, gorilla, great_ape, lesser_ape, mountain_gorilla, orang, orangutan, orangutang, pongid, pygmy_chimpanzee, siamang, silverback, simian...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3435-3435
No TPTP formula. May not be expressible in strict first order. Merge.kif 14632-14633
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 238-238
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 239-239
No TPTP formula. May not be expressible in strict first order. Merge.kif 14631-14631 Ape is a subclass of primate

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


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 999-999
No TPTP formula. May not be expressible in strict first order. english_format.kif 1210-1210
No TPTP formula. May not be expressible in strict first order. french_format.kif 676-676
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 207-207
No TPTP formula. May not be expressible in strict first order. terms-it.txt 210-210
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2360-2360
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 628-628
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 244-244
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 697-697
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 211-211


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