habitatOfOrganism

-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30452-30452 Parrot inhabits africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30451-30451 Parrot inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30455-30455 Parrot inhabits australia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30453-30453 Parrot inhabits north america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30454-30454 Parrot inhabits south america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30528-30528 Reindeer inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30527-30527 Reindeer inhabits europe
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30529-30529 Reindeer inhabits north america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30435-30435 Rhinoceros inhabits africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30434-30434 Rhinoceros inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20334-20334 Skunk inhabits north america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20333-20333 Skunk inhabits south america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30414-30414 Tiger inhabits asia


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