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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Crocodile
Crocodile

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30542-30542 Crocodile 的预期 value 是 2000.0 磅质量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30532-30540
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30548-30548 Crocodile inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30546-30546 Crocodile inhabits 亚洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30549-30549 Crocodile inhabits 澳大利亚
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30545-30545 Crocodile inhabits 欧洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30547-30547 Crocodile inhabits 北美
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30550-30550 Crocodile inhabits 南美洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30543-30543 Crocodile 有 LeastConcernSpecies 的 attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30544-30544 Crocodile 是 爬虫类 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30551-30551


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