TreeView Knowledge Base Browser

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 14796-14797
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2433-2433
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2537-2537
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14795-14795	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 6096-6096
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6095-6095
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6094-6094

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7545-7554	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 1314-1348	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 engine cylinder 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 the self connected object and the other process is located at the self connected object 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 1651-1672	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 the other object 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 2182-2190	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.	Medicine.kif 853-875	If an object is an instance of vented chest seal and a transfer is an instance of attaching and the object transferred in the transfer is the object and the transfer ends up at an entity, then the object has the purpose there exist the transfer, another entity,, , a third entity and the entity such that the transfer is an instance of air and the other entity is an instance of lung and the third entity is an instance of chest and the other entity is a part of the entity and the third entity is a part of the entity and the transfer is between the other entity and the third entity holds during immediately before the time of existence of the transfer and the object has the purpose the transfer is outside to the entity holds during immediately after the time of existence of the transfer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 799-810	If collapsed lung is an attribute of an entity holds during a time position, then there exists another entity such that the other entity is an instance of air and a third entity is an instance of lung and a fourth entity is an instance of chest and the third entity is a part of the entity and the fourth entity is a part of the entity and the other entity is between the third entity and the fourth entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1899-1906	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 1886-1894	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 973-983	If a physical is an instance of air intake, 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 other entity is an instance of engine and the 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.	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.	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.	Mid-level-ontology.kif 25501-25509	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 1519-1529	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, another entity,, , another process and a third process such that the process is an instance of rotating and the other entity is an instance of air and the other process is an instance of translocation and the process is a subprocess of the 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 burning 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 9081-9087	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 1318-1327	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 3303-3313	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 5192-5204	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 2916-2929	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 the other entity 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 the other entity 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 14799-14804	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 26844-26854	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: