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	加拿大 接上 美国
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1294-1294	墨西哥 接上 美国
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"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 740-740	密西西比河 是 美国 的 part
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 30-30	新英格兰 是 美国 的 part
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1160-1160	波多黎各 是 美国 的 part
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4243-4243	红河 是 美国 的 part
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