No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30452-30452	Parrot inhabits 非洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30451-30451	Parrot inhabits 亚洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30455-30455	Parrot inhabits 澳大利亚
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30453-30453	Parrot inhabits 北美
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30454-30454	Parrot inhabits 南美洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30528-30528	驯鹿 inhabits 亚洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30527-30527	驯鹿 inhabits 欧洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30529-30529	驯鹿 inhabits 北美
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30435-30435	Rhinoceros inhabits 非洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30434-30434	Rhinoceros inhabits 亚洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20334-20334	Skunk 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 30414-30414	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