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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hominid

 Sigma KEE - Hominid
Hominid(hominid)
more pictures...		Aegyptopithecus, Algeripithecus, Algeripithecus_minutus, Australopithecus, Australopithecus_afarensis, Australopithecus_africanus, Australopithecus_boisei, Australopithecus_robustus, Dryopithecus, Dryopithecus_Rudapithecus_hungaricus, Hominidae, Hominoidea, Homo_erectus, Homo_habilis, Homo_rhodesiensis, Homo_soloensis, Java_man, Javanthropus, Kenyapithecus, Lucy, Lufengpithecus, Neandertal, Neanderthal, Neanderthalian, Ouranopithecus, Paranthropus, Peking_man, Piltdown_hoax, Piltdown_man, Pithecanthropus, Pithecanthropus_erectus, Plesianthropus, Rhodesian_man, Sinanthropus, Sivapithecus, Solo_man, Trinil_man, Zinjanthropus, anthropoid, ape-man, australopithecine, boskopoid, dryopithecine, family_Hominidae, genus_Aegyptopithecus, genus_Algeripithecus, genus_Australopithecus, genus_Dryopithecus, genus_Homo, genus_Javanthropus...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3437-3437
No TPTP formula. May not be expressible in strict first order. Merge.kif 14640-14641
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 250-250
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 254-254
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 253-253
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 246-246
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 245-245
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 247-247
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 244-244
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 251-251
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 252-252
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 242-242
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 256-256
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 241-241
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 240-240
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 243-243
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 255-255
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 248-248
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 249-249
No TPTP formula. May not be expressible in strict first order. Merge.kif 14639-14639 Hominid is a subclass of primate

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14643-14643 Human is a subclass of hominid
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1001-1001
No TPTP formula. May not be expressible in strict first order. english_format.kif 1214-1214
No TPTP formula. May not be expressible in strict first order. french_format.kif 678-678
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 209-209
No TPTP formula. May not be expressible in strict first order. terms-it.txt 212-212
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2362-2362
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 630-630
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 246-246
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 699-699
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 213-213

appearance as argument number 4
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14627-14627 Primate is disjointly decomposed into ape, monkey, and hominid


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