Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 1804-1804 子類 InternalAttribute and Attribute
No TPTP formula. May not be expressible in strict first order. Transportation.kif 383-383 子類 軌距 and InternalAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1860-1860 子類 設備狀態屬性 and InternalAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19249-19249 子類 語言屬性 and InternalAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19663-19663 子類 易碎性屬性 and InternalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1810-1810 子類 物理屬性 and InternalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17563-17563 子類 PhysicalState and InternalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17745-17745 子類 StructureAttribute and InternalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18007-18007 子類 SaturationAttribute and InternalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18045-18045 子類 BiologicalAttribute and InternalAttribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 1737-1737 子類 地形屬性 and InternalAttribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 2600-2600 子類 生物多樣性屬 and InternalAttribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 4064-4064 子類 火山狀況 and InternalAttribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 7334-7334 子類 SolubilityAttribute and InternalAttribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 44-44 子類 詞典類別 and InternalAttribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 209-209 子類 方程屬性 and InternalAttribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 229-229 子類 algebro微分屬性 and InternalAttribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 254-254 子類 物理域 and InternalAttribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 319-319 子類 多極屬性 and InternalAttribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 705-705 子類 非線性 and InternalAttribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 711-711 子類 反彈性 and InternalAttribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 715-715 子類 無刷 and InternalAttribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 725-725 子類 自主性 and InternalAttribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 1369-1369 子類 Web文檔屬性 and InternalAttribute


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