No TPTP formula. May not be expressible in strict first order.	Merge.kif 8527-8527	例 眼前的未來 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8496-8496	例 不久的過去 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5454-5454	例 路口 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6582-6582	例 間隔 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3071-3071	例 列表連接 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3013-3013	例 列表長度 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4986-4986	例 最大 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6031-6031	例 最大加權路徑 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6347-6347	例 測量 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9828-9828	例 分類差異 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9807-9807	例 mereological產品 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9785-9785	例 mereological 總和 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5012-5012	例 分 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6009-6009	例 最小加權路徑 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4698-4698	例 乘法 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5035-5035	例 分子 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8478-8478	例 過去 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6629-6629	例 每 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 796-796	例 電源組 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5333-5333	例 前任 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16878-16878	例 房地 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2571-2571	例 可能性 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4273-4273	例 屬性 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4962-4962	例 半徑 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5069-5069	例 互相 and TotalValuedRelation
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