Gas - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3930-3931
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17700-17701
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17698-17698	例加油站 and PhysicalState
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17699-17699	子屬性加油站 and 流體

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33159-33159	roomTempState 氬 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33247-33247	roomTempState 胂 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33262-33262	roomTempState BZ氣體 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33281-33281	roomTempState CS氣 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33265-33265	roomTempState CarbonDioxide and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33269-33269	roomTempState 氯氣 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33270-33270	roomTempState Chlorofluorocarbon and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33271-33271	roomTempState 氯化苦 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33272-33272	roomTempState 窒息劑 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33285-33285	roomTempState 雙光氣 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33290-33290	roomTempState Exhaust and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33150-33150	roomTempState 氟 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33291-33291	roomTempState Freon12 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33293-33293	roomTempState 混合氣體 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33299-33299	roomTempState 溫室氣體 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33303-33303	roomTempState 大麻 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33142-33142	roomTempState 氦 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33304-33304	roomTempState 海洛因 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33141-33141	roomTempState 氫 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33177-33177	roomTempState 氪 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33087-33087	roomTempState 液化石油氣 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33239-33239	roomTempState 芥子氣 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33318-33318	roomTempState 天然氣 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33151-33151	roomTempState 氖 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33320-33320	roomTempState NitricOxide and 加油站

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Merge.kif 17676-17676

相反的屬性固體, 液體, 加油站 and 等離子體

appearance as argument number 4

No TPTP formula. May not be expressible in strict first order.

Merge.kif 17677-17677

固體是所有的 PhysicalState 的 attributes

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5979-5988	例 Object and 氣泡 Object Attribute attribute Object and Attribute 等於 Object and 加油站空間的符合 Object and Object attribute Object and 中凸的圓形
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17728-17735	例 Object and Substance attribute Object and 加油站 attribute Object and 液體 attribute Object and 等離子體 attribute Object and 流體

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13945-13958	測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點例 Entity and PureSubstance 持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 大於或等於 RealNumber and RealNumber 持有期間 TimeInterval and attribute Entity and 加油站 Process 暫時重疊何時 Process and TimeInterval 例 Process and Boiling 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 69-73	例 Object and 氣流部分 Object and Object attribute Object and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5973-5977	例 Object and 氣泡內飾部分 Object and Object attribute Object and 加油站
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14037-14045	例 Process and Boiling 患者 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.	Merge.kif 14083-14091	例 Process and Condensing 患者 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.	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 14057-14070	例 Process and 蒸發測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點例 Object and PureSubstance 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 患者 Process and Object Object 部分 Object and Object 比較多 RealNumber and RealNumber 持有期間開始何時 Process and attribute Object and 液體持有期間結束何時 Process and attribute Object and 加油站
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11343-11347	例 Process and 氣體運動患者 Process and Object attribute Object 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 13902-13911	例 Object and PureSubstance 子類 PureSubstance and PureSubstance 測量 RealNumber and 英寸汞是 Object 的 barometric 壓力比較多 29.92 and RealNumber 測量 RealNumber and 凱文度是 PureSubstance 的 boiling 點測量 Object and 測量 RealNumber and 凱文度比較多 RealNumber and RealNumber attribute Object and 加油站
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7285-7291	例 Entity and NitricOxide 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and attribute Entity and 加油站
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7310-7316	例 Entity and NitrogenDioxide 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and attribute Entity and 加油站
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7250-7256	例 Entity and SulphurDioxide 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and attribute Entity and 加油站
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4136-4143	attribute Object and HazardousGases 例 Object and Substance attribute Object and 加油站能力 Combustion, 資源 and Object 能力 Damaging, 資源 and Object 能力 Corrosion, 資源 and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3654-3660	例 Physical and Balloon 有目的 Physical and entity attribute entity and 加油站包含 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7421-7435	例 Process and 腹脹 AutonomousAgent SelfConnectedObject, SelfConnectedObject and Object 體驗者 Process and AutonomousAgent 例 Object and 加油站部分 SelfConnectedObject and AutonomousAgent 例 SelfConnectedObject and 腸包含 SelfConnectedObject and Object 部分 SelfConnectedObject and AutonomousAgent 例 SelfConnectedObject and 胃包含 SelfConnectedObject and Object
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.	Geography.kif 2028-2030	例 Object and 天然氣 attribute Object and 加油站
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5235-5243	例 Physical and GasCompressor 有目的 Physical and entity entity 例 entity and Compressing attribute entity and 加油站患者 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3667-3683	例 Physical and Inflating Object Object, RealNumber, RealNumber, Class and Entity 例 Object and Class 例 Object and Class 例 Class and Substance attribute Object and 加油站 attribute Object and 加油站例 Entity and UnitOfVolume 持有期間不久的過去何時 Physical and 測量 Object and 測量 RealNumber and Entity 持有期間眼前的未來何時 Physical and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14847-14852	例 Object and 混合氣體 Object 部分 Object and Object attribute Object and 加油站
No TPTP formula. May not be expressible in strict first order.	Cars.kif 424-432	例 Process and Spark Entity Object 例 Entity and 電力患者 Process and Entity 例 Object and Substance attribute Object and 加油站 Process 是 located 在 Object
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 27295-27303	例 Object and Steam Process Entity 例 Process and Boiling 例 Entity and Water 患者 Process and Entity 結果 Process and Object attribute Object and 加油站

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: