No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30440-30440	Parrot inhabits africa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30439-30439	Parrot inhabits asia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30443-30443	Parrot inhabits australia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30441-30441	Parrot inhabits north america
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30442-30442	Parrot inhabits south america
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30516-30516	Reindeer inhabits asia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30515-30515	Reindeer inhabits europe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30517-30517	Reindeer inhabits north america
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30423-30423	Rhinoceros inhabits africa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30422-30422	Rhinoceros inhabits asia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20333-20333	Skunk inhabits north america
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20332-20332	Skunk inhabits south america
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30402-30402	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