No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30440-30440	Parrot inhabits 非洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30439-30439	Parrot inhabits 亚洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30443-30443	Parrot inhabits 澳大利亚
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30441-30441	Parrot inhabits 北美
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30442-30442	Parrot inhabits 南美洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30516-30516	驯鹿 inhabits 亚洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30515-30515	驯鹿 inhabits 欧洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30517-30517	驯鹿 inhabits 北美
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30423-30423	Rhinoceros inhabits 非洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30422-30422	Rhinoceros inhabits 亚洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20333-20333	Skunk inhabits 北美
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20332-20332	Skunk inhabits 南美洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30402-30402	Tiger inhabits 亚洲

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