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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Marsupial
Marsupial

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3425-3425
No TPTP formula. May not be expressible in strict first order. Merge.kif 14595-14596
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 48-48
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 46-46
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 45-45
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 47-47
No TPTP formula. May not be expressible in strict first order. Merge.kif 14594-14594 子類 Marsupial and Mammal

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20307-20307 子類 Kangaroo and Marsupial
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 993-993
No TPTP formula. May not be expressible in strict first order. english_format.kif 1193-1193
No TPTP formula. May not be expressible in strict first order. french_format.kif 670-670
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 201-201
No TPTP formula. May not be expressible in strict first order. terms-it.txt 204-204
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2354-2354
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 622-622
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 238-238
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 691-691
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 205-205

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14581-14581 不相交分解 Mammal, AquaticMammal, HoofedMammal, Marsupial, Rodent and Primate


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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