No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30476-30476	habitatOfOrganism Parrot and Africa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30475-30475	habitatOfOrganism Parrot and Asia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30479-30479	habitatOfOrganism Parrot and Australia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30477-30477	habitatOfOrganism Parrot and NorthAmerica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30478-30478	habitatOfOrganism Parrot and SouthAmerica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30552-30552	habitatOfOrganism Reindeer and Asia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30551-30551	habitatOfOrganism Reindeer and Europe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30553-30553	habitatOfOrganism Reindeer and NorthAmerica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30459-30459	habitatOfOrganism Rhinoceros and Africa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30458-30458	habitatOfOrganism Rhinoceros and Asia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20361-20361	habitatOfOrganism Skunk and NorthAmerica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20360-20360	habitatOfOrganism Skunk and SouthAmerica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30438-30438	habitatOfOrganism Tiger and 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