GasMotion - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - GasMotion

GasMotion(氣體運動)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3025-3026
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11268-11270
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1790-1791
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11266-11266	子類氣體運動 and Motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11278-11278	子類風 and 氣體運動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25538-25538
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25537-25537
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25536-25536

antecedent

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

Merge.kif 11272-11276

例 Process and 氣體運動患者 Process and Object
attribute Object and 加油站

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 225-238	例 Process and FourStrokeExhaust 例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object Entity Process 例 Process and 氣體運動例 Entity and Exhaust 子過程 Process and Process 起源 Process and HoleRegion 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 171-184	例 Process and FourStrokeIntake 例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object ProcessV Process 例 Process and 氣體運動例 ProcessV and FuelVapor 子過程 Process and Process 目的地 Process and HoleRegion 患者 Process and ProcessV
No TPTP formula. May not be expressible in strict first order.	Cars.kif 523-536	例 Process and TwoStrokeTransfer 例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object Entity Process 例 Process and 氣體運動例 Entity and Exhaust 子過程 Process and Process 起源 Process and HoleRegion 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5200-5212	例 Physical and Supercharger 有目的 Physical and entity entity and entity 例 entity and 氣體運動起源 entity and Physical 例 entity and IntakeValve 目的地 entity and entity 例 entity and 空氣 objectTransferred entity and entity 持有期間何時 entity and attribute entity and Pressurized

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