No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7713-7713	顾客 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23320-23320	欺骗性标识符 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 456-456	依赖的地缘政治区域 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14319-14319	发育形态 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24879-24879	deviceTelecomNumber 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1625-1625	地区干燥的季节 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15475-15475	编辑 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5412-5412	元素 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3704-3704	属于等价关系 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1280-1280	行政部门 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3927-3927	利用 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4616-4616	所表达的语言 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14722-14722	姓 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25151-25151	faxNumber 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10020-10020	刚好填入 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5424-5424	流动 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3287-3287	fullName 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3301-3301	fullNameIndexOrder 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14044-14044	地理分区域 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14087-14087	地缘政治分区 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14741-14741	给予的名称 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23009-23009	祖父母 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5885-5885	图形部分 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2540-2540	guiElementCoveredBy 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2591-2591	guiElementPartiallyCoveredBy 是 非对称关系 的 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