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 30530-30530 Crocodile 的预期 value 是 2000.0 磅质量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30520-30528
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30536-30536 Crocodile inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30534-30534 Crocodile inhabits 亚洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30537-30537 Crocodile inhabits 澳大利亚
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30533-30533 Crocodile inhabits 欧洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30535-30535 Crocodile inhabits 北美
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30538-30538 Crocodile inhabits 南美洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30531-30531 Crocodile 有 LeastConcernSpecies 的 attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30532-30532 Crocodile 是 爬虫类 的 subclass

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


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


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