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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Crocodile

 Sigma KEE - Crocodile
Crocodile

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30566-30566 Crocodile 的预期 value 是 2000.0 磅质量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30556-30564
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30572-30572 Crocodile inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30570-30570 Crocodile inhabits 亚洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30573-30573 Crocodile inhabits 澳大利亚
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30569-30569 Crocodile inhabits 欧洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30571-30571 Crocodile inhabits 北美
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30574-30574 Crocodile inhabits 南美洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30567-30567 Crocodile 有 LeastConcernSpecies 的 attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30568-30568 Crocodile 是 爬虫类 的 subclass

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


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


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