No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30440-30440	habitatOfOrganism Parrot and Africa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30439-30439	habitatOfOrganism Parrot and Asia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30443-30443	habitatOfOrganism Parrot and Australia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30441-30441	habitatOfOrganism Parrot and NorthAmerica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30442-30442	habitatOfOrganism Parrot and SouthAmerica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30516-30516	habitatOfOrganism Reindeer and Asia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30515-30515	habitatOfOrganism Reindeer and Europe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30517-30517	habitatOfOrganism Reindeer and NorthAmerica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30423-30423	habitatOfOrganism Rhinoceros and Africa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30422-30422	habitatOfOrganism Rhinoceros and Asia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20333-20333	habitatOfOrganism Skunk and NorthAmerica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20332-20332	habitatOfOrganism Skunk and SouthAmerica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30402-30402	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