Solid - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17676-17676	相反的屬性固體, 液體, 加油站 and 等離子體
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3924-3925	相反的屬性固體, 液體, 加油站 and 等離子體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17686-17687	相反的屬性固體, 液體, 加油站 and 等離子體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17685-17685	例固體 and PhysicalState

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17677-17677	固體是所有的 PhysicalState 的 attributes
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33248-33248	roomTempState abrin毒素 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33230-33230	roomTempState 錒 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33252-33252	roomTempState 礬土 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33154-33154	roomTempState 鋁 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33236-33236	roomTempState 銤 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33254-33254	roomTempState Amphetamine and 固體
No TPTP formula. May not be expressible in strict first order.	Food.kif 2872-2872	roomTempState AnimalFat and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33192-33192	roomTempState 銻 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33174-33174	roomTempState 砷 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33255-33255	roomTempState 石棉 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33226-33226	roomTempState 砹 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33258-33258	roomTempState 重晶石 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33197-33197	roomTempState 鋇 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33259-33259	roomTempState batrachotoxin and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33260-33260	roomTempState 礬土 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33238-33238	roomTempState 锫 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33144-33144	roomTempState 鈹 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33224-33224	roomTempState 鉍 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33261-33261	roomTempState 肉毒桿菌毒素 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33107-33107	roomTempState Boulder and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33091-33091	roomTempState 褐煤 and 固體
No TPTP formula. May not be expressible in strict first order.	Food.kif 3098-3098	roomTempState 奶油 and 固體
No TPTP formula. May not be expressible in strict first order.	Food.kif 2931-2931	roomTempState ButterFat and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33189-33189	roomTempState 鎘 and 固體

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7614-7623	例 Object and 膠體部分 Object and Object attribute Object and 固體 attribute Object and 液體例 Object and 空氣部分 Object and Object 例 Object and Aerosal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7211-7231	例 Object and Crystal attribute Object and MonoCrystalline 例 SelfConnectedObject and Substance attribute SelfConnectedObject and 固體 attribute SelfConnectedObject and PolyCrystalline 例 SelfConnectedObject and Substance 表面 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject ObjectLNT Integer and Object 例 ObjectLNT and Collection Integer 是 ObjectLNT 的 member 計數大於或等於 Integer and 4 會員 Object and ObjectLNT 部分 Object and SelfConnectedObject 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1379-1389	例 Object and 絕對過濾器例 Process and Removing 起源 Process and Object 例 Object and 混合氣體患者 Process and Object attribute Object and 固體儀器 Process and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1219-1228	例 Object and TapWater 例 Object and Mixture 部分 Object and Object 例 Object and Antifreeze 部分 Object and Object attribute Object and 固體測量 Object and 測量 RealNumber and 攝氏度比較多 32 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23240-23246	例 Object and 膠體 attribute Object and 固體 attribute Object and 流體等於 Object and Entity 例 Entity and 凝膠

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10205-10209	例 Object and 冰例 Object and Water attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10360-10364	例 Process and Eating 資源 Process and Object attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7066-7083	例 Process and Deposition 患者 Process and Object Object 部分 Object and Object 持有期間開始何時 Process and attribute Object and 加油站持有期間結束何時 Process and attribute Object and 固體持有期間何時 Process and attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14104-14112	例 Process and Freezing 患者 Process and Object Object 部分 Object and Object 持有期間開始何時 Process and attribute Object and 液體持有期間結束何時 Process and attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3045-3051	例 Entity and Grease 持有期間 TimePosition and 測量 Entity and 測量 77 and 華氏度持有期間 TimePosition and attribute Entity and 固體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14016-14024	例 Process and Melting 患者 Process and Object Object 部分 Object and Object 持有期間開始何時 Process and attribute Object and 固體持有期間結束何時 Process and attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	naics.kif 631-648	例 Collection and Organization attribute Collection and 礦業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Object Process and AutonomousAgent 例 AutonomousAgent and Removing 患者 AutonomousAgent and Object 例 Object and PureSubstance attribute Object and 固體會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1075-1080	例 Process and 凍雨患者 Process and Entity 例 Entity and Water 持有期間眼前的未來何時 Process and attribute Entity and 固體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7118-7135	例 Process and Sublimation 患者 Process and Object Object 部分 Object and Object 持有期間開始何時 Process and attribute Object and 固體持有期間結束何時 Process and attribute Object and 加油站持有期間何時 Process and attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13984-13997	例 Entity and PureSubstance 測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 melting 點持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 少於 RealNumber and RealNumber 持有期間 TimeInterval and attribute Entity and 固體 Process 暫時重疊何時 Process and TimeInterval 例 Process and Freezing 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13924-13933	例 Object and PureSubstance 子類 PureSubstance and PureSubstance 測量 RealNumber and 凱文度是 PureSubstance 的 melting 點測量 RealNumber and 英寸汞是 Object 的 barometric 壓力比較多 RealNumber and 29.92 測量 Object and 測量 RealNumber and 凱文度少於 RealNumber and RealNumber attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4162-4167	attribute Object and FlammableSolid 例 Object and Substance attribute Object and 固體 attribute Object and 易燃的
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11873-11875	例 Object and Clot attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11847-11859	例 Physical and Clotting Entity 例 Entity and Blood 持有期間不久的過去何時 Physical and attribute Entity and 液體持有期間眼前的未來何時 Physical and attribute Entity and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5041-5056	例 Physical and 濾盆有目的 Physical and entity entity, entity and entity 例 entity and Mixture 例 entity and Substance 部分 entity and entity attribute entity and 液體例 entity and Removing 患者 entity and entity 例 entity and Substance 部分 entity and entity attribute entity and 固體結果 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1150-1159	例 Object and Exhaust Object Object and Process 例 Process and Combustion attribute Object and 固體 attribute Object and 加油站部分 Object and Object 部分 Object and Object 結果 Process and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 943-958	例 Physical and AirFilter 有目的 Physical and entity entity, entity and entity 例 entity and Removing 部分 entity and entity 例 entity and 空氣例 entity and 空氣 attribute entity and 固體患者 entity and entity 部分 entity and entity 起源 entity and entity 例 entity and Mixture 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2764-2774	例 Process and Frosting Object Object 例 Object and 冰 attribute Object and MonoCrystalline 患者 Process and Object 例 Object and Object attribute Object and 固體目的地 Process and Object 空間的符合 Process and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6073-6079	例 Object and 冰川 Object 例 Object and Water attribute Object and 固體部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2496-2506	例 Process and 刨冰 Object Object 例 Object and 冰 attribute Object and PolyCrystalline 患者 Process and Object 例 Object and Object attribute Object and 固體目的地 Process and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10600-10602	例 Object and Pill attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10180-10182	例 Object and 粉末 attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1164-1166	例天氣過程 and 下冰雹固體是天氣過程的 precipitation 狀態
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1121-1123	例天氣過程 and 下雪固體是天氣過程的 precipitation 狀態
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19488-19490	例 Object and 岩石 attribute Object and 固體

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: