TreeView Knowledge Base Browser - Ape

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Ape

Sigma KEE - Ape

Ape(猿)

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

appearance as argument number 2

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