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 30542-30542 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 30532-30540
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30548-30548 Crocodile inhabits africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30546-30546 Crocodile inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30549-30549 Crocodile inhabits australia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30545-30545 Crocodile inhabits europe
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30547-30547 Crocodile inhabits north america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30550-30550 Crocodile inhabits south america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30543-30543 Crocodile the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30544-30544 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 30551-30551


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