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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Monkey

 Sigma KEE - Monkey
Monkey

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3436-3436
No TPTP formula. May not be expressible in strict first order. Merge.kif 14658-14659
No TPTP formula. May not be expressible in strict first order. pictureList.kif 131-131
No TPTP formula. May not be expressible in strict first order. Merge.kif 14657-14657 子類 Monkey and Primate

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1524-1524 Monkey 是 皰疹B病毒 的病毒傳遞者
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1000-1000
No TPTP formula. May not be expressible in strict first order. english_format.kif 1212-1212
No TPTP formula. May not be expressible in strict first order. french_format.kif 677-677
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 208-208
No TPTP formula. May not be expressible in strict first order. terms-it.txt 211-211
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2361-2361
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 629-629
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 213-213
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 245-245
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 698-698
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 212-212

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14649-14649 不相交分解 Primate, 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