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 11246-11248
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 11244-11244	气体运动是运动的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11256-11256	风是气体运动的 subclass
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 11250-11254

如果过程是气体运动的 instance 和客体是那个过程的 patient，
然后加油站是那个客体的 attribute

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 225-238	如果过程是 FourStrokeExhaust 的 instance 和客体是 EngineCylinder 的 instance 和洞是 InternalCombustionChamber 的 instance 和那个客体 equal 洞那个洞的主体和那个过程是 located 在那个客体，然后有存在实体和另一个过程这样那个另外过程是气体运动的 instance 和那个实体是 Exhaust 的 instance 和那个另外过程%n是那个过程的subProcess 和那个洞是那个另外过程的源头和那个实体是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	Cars.kif 171-184	如果过程是 FourStrokeIntake 的 instance 和客体是 EngineCylinder 的 instance 和洞是 InternalCombustionChamber 的 instance 和那个客体 equal 洞那个洞的主体和那个过程是 located 在那个客体，然后有存在那个过程V 和另一个过程这样那个另外过程是气体运动的 instance 和那个过程V 是 FuelVapor 的 instance 和那个另外过程%n是那个过程的subProcess 和那个另外过程在那个洞结束和那个过程V 是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	Cars.kif 523-536	如果过程是 TwoStrokeTransfer 的 instance 和客体是 EngineCylinder 的 instance 和洞是 InternalCombustionChamber 的 instance 和那个客体 equal 洞那个洞的主体和那个过程是 located 在那个客体，然后有存在实体和另一个过程这样那个另外过程是气体运动的 instance 和那个实体是 Exhaust 的 instance 和那个另外过程%n是那个过程的subProcess 和那个洞是那个另外过程的源头和那个实体是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5192-5204	如果物理是 Supercharger 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是气体运动的 instance 和那个物理是那个实体的源头和那个另外实体是 IntakeValve 的 instance 和那个实体在那个另外实体结束和那个第三实体是空气的 instance 和 objectTransferred 那个实体 and 那个第三实体和 Pressurized 是那个第三实体的 attribute 在那个实体出现的 time holdsDuring

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