No TPTP formula. May not be expressible in strict first order.	engineering.kif 44-44	词典类别 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19249-19249	语言属性 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 319-319	多极属性 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 705-705	非线性 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1810-1810	物理属性 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 254-254	物理域 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17563-17563	物质状态 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18007-18007	饱和属性 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7334-7334	可溶性 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17745-17745	StructureAttribute 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1737-1737	地形属性 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 383-383	轨距 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4064-4064	火山状况 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1369-1369	Web文档属性 是 内在属性 的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 856-856
No TPTP formula. May not be expressible in strict first order.	english_format.kif 914-914
No TPTP formula. May not be expressible in strict first order.	french_format.kif 532-532
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 63-63
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 66-66
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2217-2217
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 484-484
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 99-99
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 553-553
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 67-67
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