No TPTP formula. May not be expressible in strict first order.	Merge.kif 2595-2595	提高可能性 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 107-107	逆向 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7750-7750	更大 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1833-1833	少于 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1728-1728	形式 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9571-9571	接触 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17299-17299	语气属性 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6664-6664	邻居 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22765-22765	操作者 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18125-18125	相反的方向 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9612-9612	部分重叠 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4365-4365	阻止 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4335-4335	preventsSubclass 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16464-16464	兄弟姐妹 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16509-16509	妹妹 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7772-7772	更小 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16559-16559	伴侣 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8035-8035	开始 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21341-21341	子领域 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4656-4656	子计划 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4635-4635	子命题 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 728-728	后续属性闭包 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9651-9651	表面部分 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16580-16580	妻子 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2274-2274	非对称关系 是 非自反关系 的 subclass
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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