No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3669-3669	華盛頓特區美國 是 美國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20274-20274	Alligator inhabits 美國
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4495-4495	GeneralMotorsCorp 的 headquarters 是在 美國
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4576-4576	HarleyDavidsonCorp 的 headquarters 是在 美國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 410-410	空間的符合 加拿大 and 美國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1294-1294	空間的符合 墨西哥 and 美國
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 952-952	美國 是 美軍 的 military 區域
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4079-4079	名 "United States" and 美國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 740-740	部分 密西西比河 and 美國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 30-30	部分 新英格蘭 and 美國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1160-1160	部分 波多黎各 and 美國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4243-4243	部分 紅河 and 美國
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60332-60332
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60331-60331
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60330-60330

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