GasMixture - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GasMixture

GasMixture(gas mixture)

aerosol, vapor, vapour

appearance as argument number 1

(disjoint GasMixture LiquidMixture)	Merge.kif 14783-14783	Gas mixture is disjoint from liquid mixture
(documentation GasMixture ChineseLanguage "这是任何能够满足以下两个条件的 Mixture: 即是主要由 Gas 组成，和除了在 Mixture 中的 Gas 外，其他成分是由悬浮在 Gas 以细颗粒的形状组成。")	chinese_format.kif 3465-3466
(documentation GasMixture EnglishLanguage "Any Mixture that satisfies two conditions, viz. it is made up predominantly of things which are a Gas and any component other than Gas in the Mixture is in the form of fine particles which are suspended in the Gas.")	Merge.kif 14784-14787
(externalImage GasMixture "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Aerosol-India.jpg")	pictureList.kif 4480-4480
(roomTempState GasMixture Gas)	Mid-level-ontology.kif 31634-31634	roomTempState gas mixture and gas
(subclass GasMixture Mixture)	Merge.kif 14782-14782	Gas mixture is a subclass of mixture

appearance as argument number 2

(subclass Aerosal GasMixture)	Geography.kif 7542-7542	Aerosal is a subclass of gas mixture
(subclass Air GasMixture)	Merge.kif 14841-14841	Air is a subclass of gas mixture
(subclass Cloud GasMixture)	Merge.kif 14796-14796	Cloud is a subclass of gas mixture
(subclass FuelVapor GasMixture)	Cars.kif 67-67	Fuel vapor is a subclass of gas mixture
(subclass Suspension GasMixture)	Merge.kif 14777-14777	Suspension is a subclass of gas mixture
(termFormat ChineseLanguage GasMixture "混合气体")	domainEnglishFormat.kif 25532-25532
(termFormat ChineseTraditionalLanguage GasMixture "混合氣體")	domainEnglishFormat.kif 25531-25531
(termFormat EnglishLanguage GasMixture "gas mixture")	domainEnglishFormat.kif 25530-25530

antecedent

(=> (and (instance ?FILTER AbsoluteFilter) (instance ?REMOVE Removing) (origin ?REMOVE ?GAS) (instance ?GAS GasMixture) (patient ?REMOVE ?PARTICLE) (attribute ?PARTICLE Solid) (instrument ?REMOVE ?FILTER)) (not (part ?PARTICLE ?GAS)))	MilitaryDevices.kif 1379-1389	If an object is an instance of absolute filter and a process is an instance of removing and the process originates at another object and the other object is an instance of gas mixture and a third object is a patient of the process and solid is an attribute of the third object and the object is an instrument for the process, then the third object is not a part of the other object
(=> (instance ?MIX GasMixture) (exists (?PART) (and (part ?PART ?MIX) (attribute ?PART Gas))))	Merge.kif 14789-14794	If an object is an instance of gas mixture, then there exists another object such that the other object is a part of the object and gas is an attribute of the other object

consequent

(=> (instance ?C Chromatography) (exists (?M) (and (resource ?C ?M) (or (instance ?M LiquidMixture) (instance ?M GasMixture)))))	Mid-level-ontology.kif 19675-19682	If a process is an instance of chromatography, then there exists an object such that the object is a resource for the process and the object is an instance of liquid mixture or the object is an instance of gas mixture
(=> (instance ?FILTER AbsoluteFilter) (hasPurpose ?FILTER (exists (?REMOVE ?GAS) (and (instance ?REMOVE Removing) (origin ?REMOVE ?GAS) (instance ?GAS GasMixture) (instrument ?REMOVE ?FILTER)))))	MilitaryDevices.kif 1368-1376	If a physical is an instance of absolute filter, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of removing and the entity originates at the other entity and the other entity is an instance of gas mixture and the physical is an instrument for the entity
(=> (instance ?S Spraying) (exists (?G ?L ?M) (and (attribute ?G Gas) (attribute ?L Liquid) (instance ?M GasMixture) (part ?M ?G) (part ?M ?L) (patient ?S ?G) (patient ?S ?L) (result ?S ?M))))	Cars.kif 1092-1103	If a process is an instance of spraying, then there exist an object, another object and a third object such that gas is an attribute of the object and liquid is an attribute of the other object and the third object is an instance of gas mixture and the third object is a part of the object and the third object is a part of the other object and the object is a patient of the process and the other object is a patient of the process and the third object is a result of the process

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