No TPTP formula. May not be expressible in strict first order.	Merge.kif 2595-2595	例 增加可能性 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 107-107	例 逆 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7750-7750	例 更大 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1833-1833	例 少於 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1728-1728	例 方式 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9571-9571	例 空間的符合 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17299-17299	例 模態屬性 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6664-6664	例 鄰居 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22765-22765	例 操作者 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18125-18125	例 相反的方向 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9612-9612	例 部分重疊 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4365-4365	例 防止 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4335-4335	例 preventsSubclass and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16464-16464	例 兄弟 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16509-16509	例 妹妹 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7772-7772	例 較小 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16559-16559	例 伴侶 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8035-8035	例 啟動 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21341-21341	例 子領域 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4656-4656	例 子計劃 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4635-4635	例 次提案 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 728-728	例 後繼屬性關閉 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9651-9651	例 膚淺的部分 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16580-16580	例 妻子 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2274-2274	子類 AsymmetricRelation and IrreflexiveRelation
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