No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 735-735	母亲姐妹的女儿 是 家属关系 的 subrelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 639-639	母亲姐妹的丈夫 是 家属关系 的 subrelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 723-723	母亲姐妹的儿子 是 家属关系 的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23106-23106	外甥 是 家属关系 的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23120-23120	侄女 是 家属关系 的 subrelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 581-581	父亲阿姨 是 家属关系 的 subrelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 559-559	父亲的叔叔 是 家属关系 的 subrelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16462-16462	兄弟姐妹 是 家属关系 的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23134-23134	叔叔 是 家属关系 的 subrelation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 546-546
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23230-23230
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23229-23229
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23228-23228
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 227-227

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