No TPTP formula. May not be expressible in strict first order.	Cars.kif 2508-2516	例 Physical and Electrolyte 有目的 Physical and PhysicalT 例 PhysicalT and ElectricTransmission 患者 PhysicalT and Physical 持有期間 PhysicalT and attribute Physical and 液體
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1592-1601	例 Physical and HydraulicFluid 有目的 Physical and entity 例 entity and Process 儀器 entity and Physical 持有期間 何時 entity and attribute Physical and 液體
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3057-3066	例 Physical and Hydrometer 有目的 Physical and entity entity 例 entity and Measuring 例 entity and Substance attribute entity and 液體 患者 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11460-11468	例 Process and 注射 Object Entity 患者 Process and Object 例 Object and BiologicallyActiveSubstance attribute Object and 液體 目的地 Process and Entity 例 Entity and Animal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7493-7495	例 Object and LiquidDrop attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14738-14743	例 Object and 液體混合物 Object 部分 Object and Object attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17582-17584	例 Object and Solution attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17537-17548	例 Process and 澆注 Object Object and Entity 起源 Process and Object 目的地 Process and Entity 例 Object and 容器 例 Entity and 容器 等於 Object and Entity 患者 Process and Object attribute Object and 液體 例 Object and Substance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1083-1085	例 天氣過程 and 凍雨 液體 是 天氣過程 的 precipitation 狀態
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1049-1051	例 天氣過程 and 下雨 液體 是 天氣過程 的 precipitation 狀態
No TPTP formula. May not be expressible in strict first order.	Food.kif 2068-2074	例 Object and Sauce Object 例 Object and Substance 部分 Object and Object attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1092-1103	例 Process and 噴 Object Object and Object attribute Object and 加油站 attribute Object and 液體 例 Object and 混合氣體 部分 Object and Object 部分 Object and Object 患者 Process and Object 患者 Process and Object 結果 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4549-4564	例 Physical and 濾器 有目的 Physical and entity PhysicalUB, entity and entity 例 entity and Mixture 例 PhysicalUB and Substance 例 entity and Substance 部分 PhysicalUB and entity attribute PhysicalUB and 固體 例 entity and Removing 部分 entity and entity attribute entity and 液體 患者 entity and PhysicalUB 結果 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2389-2391	例 TransportationDevice and 液化氣罐船 延期 液體 是 TransportationDevice 的 cargo 種類
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10852-10854	例 Object and 液體物質 attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2236-2246	例 Object and 坦克車 ObjectRANS 能力 卡帕 ObjectRANS and entity Object 例 entity and 液體 例 ObjectRANS and Transportation 患者 ObjectRANS and entity, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12788-12793	例 Process and Wetting Object attribute Object and 液體 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Food.kif 2449-2461	例 Entity and CocoaLiquor Process Object 例 Process and Heating 患者 Process and Object 例 Object and 可可豆 attribute Object and DryRoastAttribute attribute Object and HulledAttribute attribute Object and FermentedAttribute 結果 Process and Entity 持有期間 Process and attribute Entity and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21574-21583	例 Entity and 乳膠 Object Object 例 Object and Substance 例 Object and Substance attribute Object and 液體 attribute Object and 液體 等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2099-2101	例 Object and Urine attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29789-29798	方位 Object, Object and 下游 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體 路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29811-29820	方位 Object, Object and 順風 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體 路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29778-29787	方位 Object, Object and 上游的 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體 路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29800-29809	方位 Object, Object and 上風 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體 路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object

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