No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2725-2725	系统中的路径 是 部分 的 subrelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17941-17941	physicalEnd 是 部分 的 subrelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 949-949	块 是 部分 的 subrelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 928-928	真正的部分 是 部分 的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13206-13206	25美分硬币 是 部分 的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24398-24398	subString 是 部分 的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13188-13188	第三 是 部分 的 subrelation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 162-162
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44519-44519
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44518-44518
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 61-61

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