No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13359-13359	域子類 defaultMaximumHeight, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13425-13425	域子類 defaultMaximumLength, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13530-13530	域子類 defaultMaximumMeasure, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13479-13479	域子類 defaultMaximumSphereRadius, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13392-13392	域子類 defaultMaximumWidth, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13560-13560	域子類 defaultMeasure, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13343-13343	域子類 defaultMinimumHeight, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13409-13409	域子類 defaultMinimumLength, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13499-13499	域子類 defaultMinimumMeasure, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13460-13460	域子類 defaultMinimumSphereRadius, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13376-13376	域子類 defaultMinimumWidth, 1 and Object
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1222-1222	域子類 依賴類型, 2 and ComputerProgram
No TPTP formula. May not be expressible in strict first order.	Government.kif 87-87	域子類 依賴的類型區域, 3 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 727-727	域子類 deviceOS, 1 and 操作系統
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 728-728	域子類 deviceOS, 2 and 電腦
No TPTP formula. May not be expressible in strict first order.	Government.kif 4633-4633	域子類 外交組織類型, 2 and Organization
No TPTP formula. May not be expressible in strict first order.	WMD.kif 933-933	域子類 疾病治療, 2 and BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 934-934	域子類 疾病治療, 3 and Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5819-5819	域子類 diseaseTreatment, 2 and TherapeuticProcess
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 736-736	域子類 diskTypeForDrive, 1 and ComputerDisk
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 737-737	域子類 diskTypeForDrive, 2 and DiskDrive
No TPTP formula. May not be expressible in strict first order.	Media.kif 3144-3144	域子類 displayTitle, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Law.kif 369-369	域子類 distrusts, 3 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 65-65	域子類 藥品運輸目的地, 2 and 非法藥物
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1627-1627	域子類 地區乾燥的季節, 2 and TimeInterval
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