No TPTP formula. May not be expressible in strict first order.	Government.kif 4509-4509	外交关系 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17008-17008	方向 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 411-411	不相交关系 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4091-4091	eventPartlyLocated 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2457-2457	经历者 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2371-2371	出口伙伴 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16490-16490	父亲 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2204-2204	filename 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4391-4391	hinders 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4309-4309	hindersSubclass 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8450-8450	敌对势力 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16642-16642	丈夫 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2659-2659	进口伙伴 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3106-3106	在列表内 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2470-2470	工具 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 110-110	逆向 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3260-3260	keyName 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23430-23430	法定监护人 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2249-2249	mimeType 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17371-17371	语气属性 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16473-16473	母亲 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2481-2481	源头 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9647-9647	部分重叠 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2494-2494	受事 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4210-4210	穿过 是 部分值关系 的 instance
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