Air - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Air

Air(air)

air, hot_air, liquid_air

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3471-3471
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13784-13785
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2434-2434
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2538-2538
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13783-13783	Air is a subclass of gas mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 63-63	Air stream is a subclass of air
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6105-6105
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6104-6104
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6103-6103

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7103-7112	If an object is an instance of colloid and another object is a part of the object and solid is an attribute of the other object or liquid is an attribute of the other object and a third object is an instance of air and the third object is a part of the object, then the object is an instance of aerosal
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1328-1362	If an entity is an instance of engine choke and device on is an attribute of the entity holds during a process and device off is an attribute of the entity holds during another process and a self connected object is an instance of EngineCylinder and a constant quantity is a capacity of the self connected object and the process is an instance of four stroke compression and the other process is an instance of four stroke compression and the process is located at 2 and the other process is located at 2 and an object is an instance of air and another object is an instance of fuel and the object is a part of the constant quantityIX1 and the other object is a part of the constant quantityIX1 and the measure of the constant quantityIX1 is the constant quantity and a fourth object is an instance of air and a fifth object is an instance of fuel and the fourth object is a part of the constant quantityIX2 and the fifth object is a part of the constant quantityIX2 and the measure of the constant quantityIX2 is the constant quantity and an unit of measure is an instance of unit of measure and the measure of the object is the objectM the unit of measure(s) and the measure of the fourth object is the fourth objectM the unit of measure(s) and the measure of the other object is the other objectM the unit of measure(s) and the measure of the fifth object is the fifth objectM the unit of measure(s), then the fourth objectM and the fifth objectM is greater than the objectM and the other objectM
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1650-1671	If a process is an instance of tornado and another process is an instance of rotating and an object is an instance of air and the processRAN is an instance of translocation and the other process is a subprocess of the process and the processRAN is a subprocess of the other process and the object is a patient of the processRAN and entities in the process the processRAN are moving horizontal, then there exist another object, a self connected object,, , the processOP,, , a third self connected object,, , a fourth self connected object and a fifth self connected object such that the other object is an instance of geographic area and the process is located at 2 and the self connected object is a part of the object and cone segment is an attribute of the self connected object and the top of the self connected object is the processOP and the bottom of the self connected object is the third self connected object and the fourth self connected object is an instance of cloud and the bottom of the fourth self connected object is the fifth self connected object and the processOP meets the fifth self connected object and the third self connected object meets the other object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 55-60	If an object is an instance of air, then there exists another object such that the other object is an instance of nitrogen and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 48-53	If an object is an instance of air, then there exists another object such that the other object is an instance of oxygen and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 37-39	If a substance is an instance of air, then the substance is a piece of earths atmosphere

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2196-2204	If an object is an instance of air cooling system and a transfer is an instance of cooling and the object is an instrument for the transfer, then there exists another object such that the other object is an instance of air and the object transferred in the transfer is the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1836-1843	If a process is an instance of aerating, then there exist an entity and an object such that the entity is a patient of the process and the entity is an instance of air and the object is a patient of the process and liquid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1823-1831	If a physical is an instance of aerator, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of combining and the other entity is a resource for the entity and the other entity is an instance of air and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 965-971	If a physical is an instance of air intake, then the physical has the purpose there exists an entity such that the entity is an instance of air and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 973-983	If a physical is an instance of air intake, then the physical has the purpose there exists an entity such that the entity is an instance of air and another entity is an instance of engine and a third entity is an instance of transfer and the third entity originates at the physical and the third entity ends up at the other entity and the entity is a patient of the third entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 41-46	If an object is an instance of atmospheric region, then there exists another object such that the other object is an instance of air and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1218-1226	If a physical is an instance of air pump, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the other entity is an instance of air and the physical is an instrument for the entity and the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1533-1543	If a physical is an instance of bleeding air, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of fluid container and the other entity is an instance of air and the entity contains the other entity holds during immediately before the physical and the entity doesn't contain the other entity holds during immediately after the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 560-570	If an entity is an instance of cyclonic storm, then there exist a process and another entity such that the process is an instance of rotating and the other entity is an instance of air and another process is an instance of translocation and the process is a subprocess of a third process and the other process is a subprocess of the process and the other entity is a patient of the other process and entities in the process the other process are moving horizontal
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1112-1124	If a physical is an instance of fuel atomizer, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of fuel and the other entity is an instance of spraying and the third entity is an instance of air and the fourth entity is an instance of combustion and the third entity is a patient of the other entity and the entity is a patient of the other entity and the entity is a resource for the fourth entity and the third entity is a resource for the fourth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 943-958	If a physical is an instance of air filter, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of removing and the other entity is a part of the fourth entity and the other entity is an instance of air and the third entity is not an instance of air and solid is an attribute of the third entity and the third entity is a patient of the entity and the third entity is a part of the fourth entity and the entity originates at the fourth entity and the fourth entity is an instance of mixture and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7926-7932	If an object is an instance of storm front, then there exist another object and a third object such that the other object is an instance of air and the third object is an instance of air and the object is between the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1316-1325	If a process is an instance of Haboob, then there exist another process, a third process and an entity such that the other process is an instance of thunderstorm and the third process is an instance of motion downward and the entity is an instance of air and the entity is a patient of the third process and the third process is a subprocess of the other process and the third process causes the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3317-3327	If a physical is an instance of mass airflow sensor, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the third entity is an instance of air and the third entity is a patient of the entity and the other entity is an instance of measuring and the third entity is a patient of the other entity and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5215-5227	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2909-2922	If a physical is an instance of storm, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of low pressure weather system and the other entity is an instance of region and the entity is located at 2 and the third entity is an instance of air and the fourth entity is an instance of motion upward and the third entity is a patient of the fourth entity and the fourth entity is located at 2 and the fourth entity is a subprocess of the entity holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13787-13792	If a process is an instance of wind, then there exists an entity such that the entity is a patient of the process and the entity is an instance of air
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23038-23048	If a physical is an instance of room heater, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of air and the third entity is an instance of room and the entity is located at the third entity and the other entity is an instance of heating and the entity is a patient of the other entity and the physical is an instrument for the other 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