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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Crocodile

 Sigma KEE - Crocodile
Crocodile(crocodile)African_crocodile, Asian_crocodile, Crocodilus, Crocodylus, Crocodylus_niloticus, Crocodylus_porosus, Morlett's_crocodile, Nile_crocodile, Tomistoma, Tomistoma_schlegeli, crocodile, false_gavial, genus_Crocodilus, genus_Crocodylus, genus_Tomistoma

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30530-30530 The expected value of crocodile is 2000.0 pound mass(s)
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 africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30534-30534 Crocodile inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30537-30537 Crocodile inhabits australia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30533-30533 Crocodile inhabits europe
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30535-30535 Crocodile inhabits north america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30538-30538 Crocodile inhabits south america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30531-30531 Crocodile the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30532-30532 Crocodile is a subclass of reptile

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