No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3383-3383	巴黎 是 法国 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3387-3387	波城法国 是 法国 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3460-3460	圣阿沃尔德法国 是 法国 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3464-3464	圣让德卢兹法国 是 法国 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3549-3549	斯特拉斯堡法国 是 法国 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3653-3653	Vitrolles法国 是 法国 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4051-4051	法国 的名 是 "France"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 55-55	巴黎 是 法国 的 part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24860-24860
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24859-24859
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24858-24858

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