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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hominid

 Sigma KEE - Hominid
Hominid(原始人类)
more pictures...

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 原始人类 是 灵长类动物 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14643-14643 人类 是 原始人类 的 subclass
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 灵长类动物 分拆成不相交的 猿, 猴子, 和 原始人类


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