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(gas motion)

blowing, transpiration

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 11369-11371
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 11367-11367	Gas motion is a subclass of motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11379-11379	Wind is a subclass of gas motion
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25566-25566	Wind is a subclass of gas motion
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25565-25565	Wind is a subclass of gas motion
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25564-25564	Wind is a subclass of gas motion

antecedent

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

Merge.kif 11373-11377

If a process is an instance of gas motion and an object is a patient of the process,
then gas is an attribute of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 225-238	If a process is an instance of four stroke exhaust and an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at the object, then there exist an entity and another process such that the other process is an instance of gas motion and the entity is an instance of exhaust and the other process is a subprocess of the process and the other process originates at the hole and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 171-184	If a process is an instance of four stroke intake and an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at the object, then there exist the processV and another process such that the other process is an instance of gas motion and the processV is an instance of fuel vapor and the other process is a subprocess of the process and the other process ends up at the hole and the processV is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 523-536	If a process is an instance of two stroke transfer and an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at the object, then there exist an entity and another process such that the other process is an instance of gas motion and the entity is an instance of exhaust and the other process is a subprocess of the process and the other process originates at the hole and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5253-5265	If a physical is an instance of supercharger, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of gas motion and the entity originates at the physical and the other entity is an instance of intake valve and the entity ends up at the other entity and the third entity is an instance of air and the object transferred in the entity is the third entity and pressurized is an attribute of the third entity holds during the time of existence of the entity

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