No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7713-7713	例 顧客 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23320-23320	例 欺騙性標識符 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Government.kif 456-456	例 依賴的地緣政治區域 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14319-14319	例 發展形式 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24879-24879	例 deviceTelecomNumber and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1625-1625	例 地區乾燥的季節 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15475-15475	例 編輯者 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5412-5412	例 元件 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3704-3704	例 等價關係 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Government.kif 1280-1280	例 行政部門 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3927-3927	例 利用 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4616-4616	例 用語言表達 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14722-14722	例 姓 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25151-25151	例 faxNumber and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10020-10020	例 填充 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5424-5424	例 流動 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Media.kif 3287-3287	例 fullName and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Media.kif 3301-3301	例 fullNameIndexOrder and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14044-14044	例 地理分區域 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14087-14087	例 地緣政治細分 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14741-14741	例 給予的名稱 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23009-23009	例 祖父母 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5885-5885	例 圖形部分 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2540-2540	例 guiElementCoveredBy and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2591-2591	例 guiElementPartiallyCoveredBy and AsymmetricRelation
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