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.	Mid-level-ontology.kif 19249-19249	子類 語言屬性 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.	Merge.kif 1810-1810	子類 物理屬性 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.	Merge.kif 17563-17563	子類 PhysicalState 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.	Geography.kif 7334-7334	子類 SolubilityAttribute 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.	Geography.kif 1737-1737	子類 地形屬性 and InternalAttribute
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.	Geography.kif 4064-4064	子類 火山狀況 and InternalAttribute
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1369-1369	子類 Web文檔屬性 and InternalAttribute
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