Gas - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3930-3931
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17588-17589
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17586-17586	Gas est une instance de �tat physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17587-17587	Gas est un sous-attribut de Fluid

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31464-31464	roomTempState Argon and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31552-31552	roomTempState Arsine and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31567-31567	roomTempState BZGas and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31586-31586	roomTempState CSGas and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31570-31570	roomTempState CarbonDioxide and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31574-31574	roomTempState ChlorineGas and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31575-31575	roomTempState Chlorofluorocarbon and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31576-31576	roomTempState Chloropicrin and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31577-31577	roomTempState ChokingAgent and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31590-31590	roomTempState Diphosgene and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31595-31595	roomTempState Exhaust and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31455-31455	roomTempState Fluorine and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31596-31596	roomTempState Freon12 and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31598-31598	roomTempState GasMixture and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31604-31604	roomTempState GreenhouseGas and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31608-31608	roomTempState Hashish and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31447-31447	roomTempState Helium and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31609-31609	roomTempState Heroin and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31446-31446	roomTempState Hydrogen and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31482-31482	roomTempState Krypton and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31392-31392	roomTempState LiquefiedPetroleumGas and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31544-31544	roomTempState MustardGas and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31623-31623	roomTempState NaturalGas and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31456-31456	roomTempState Neon and Gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31625-31625	roomTempState NitricOxide and Gas

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

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

Merge.kif 17564-17564

Solid est l'oppos� de Liquid

appearance as argument number 4

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

Merge.kif 17565-17565

exhaustiveAttribute �tat physique, Solid, Liquid, Gas and Plasma

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5015-5024	Objet est une instance de Bubble objet attribut attribut est un attribut de objet objet est Gas objet rencontre objet ConvexRoundShape est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17616-17623	Objet est une instance de substance Gas est un attribut de objet Liquid est un attribut de objet Plasma est un attribut de objet Fluid est un attribut de objet

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13863-13876	boilingPoint substance pure and nombre r�el unit� de mesure(s) entit� est une instance de substance pure la mesure de entit� est nombre r�el unit� de mesure(s) pendant interval temporel unit� de mesure est une instance de UnitOfTemperature nombre r�el est plus grand ou �gal � nombre r�el Gas est un attribut de entit� pendant interval temporel processus interval temporel recouvre temps d'existence de processus processus est une instance de �vaporer entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Weather.kif 69-73	Objet est une instance de AirStream objet est une partie de objet Gas est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5009-5013	Objet est une instance de Bubble objet est une partie interieur de objet Gas est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13955-13963	Processus est une instance de �vaporer objet est un patient de processus objet objet est une partie de objet Liquid est un attribut de objet pendant le d�but de temps d'existence de processus Gas est un attribut de objet pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14001-14009	Processus est une instance de condenser objet est un patient de processus objet objet est une partie de objet Gas est un attribut de objet pendant le d�but de temps d'existence de processus Liquid est un attribut de objet pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6997-7014	Processus est une instance de Deposition objet est un patient de processus objet objet est une partie de objet Gas est un attribut de objet pendant le d�but de temps d'existence de processus Solid est un attribut de objet pendant la fin de temps d'existence de processus Liquid est un attribut de objet pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13975-13988	Processus est une instance de Evaporating boilingPoint substance pure and nombre r�el unit� de mesure(s) objet est une instance de substance pure la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfTemperature objet est un patient de processus objet objet est une partie de objet nombre r�el est plus grand que nombre r�el Liquid est un attribut de objet pendant le d�but de temps d'existence de processus Gas est un attribut de objet pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11272-11276	Processus est une instance de GasMotion objet est un patient de processus Gas est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7049-7066	Processus est une instance de Sublimation objet est un patient de processus objet objet est une partie de objet Solid est un attribut de objet pendant le d�but de temps d'existence de processus Gas est un attribut de objet pendant la fin de temps d'existence de processus Liquid est un attribut de objet pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13820-13829	Objet est une instance de substance pure substance pure est une sous-classe de substance pure barometricPressure objet and nombre r�el InchMercury(s) 29.92 est plus grand que nombre r�el boilingPoint substance pure and nombre r�el KelvinDegree(s) la mesure de objet est nombre r�el KelvinDegree(s) nombre r�el est plus grand que nombre r�el Gas est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7216-7222	Entit� est une instance de NitricOxide entit� a un attribute StandardAmbientTemperaturePressure pendant position temporel Gas est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7241-7247	Entit� est une instance de NitrogenDioxide entit� a un attribute StandardAmbientTemperaturePressure pendant position temporel Gas est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7181-7187	Entit� est une instance de SulphurDioxide entit� a un attribute StandardAmbientTemperaturePressure pendant position temporel Gas est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3601-3607	Physique est une instance de Balloon physique a pour but entit� Gas est un attribut de entit� physique contient entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6457-6471	Processus est une instance de Bloating AutonomousAgent objet en une partie, objet en une partie and objet AutonomousAgent exp�rimente processus objet est une instance de Gas objet en une partie est une partie de AutonomousAgent objet en une partie est une instance de Intestine objet en une partie contient objet objet en une partie est une partie de AutonomousAgent objet en une partie est une instance de Stomach objet en une partie contient objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1150-1159	Objet est une instance de Exhaust objet objet and processus processus est une instance de combustion Solid est un attribut de objet Gas est un attribut de objet objet est une partie de objet objet est une partie de objet objet est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2040-2042	Objet est une instance de NaturalGas Gas est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5182-5190	Physique est une instance de GasCompressor physique a pour but entit� entit� entit� est une instance de Compressing Gas est un attribut de entit� entit� est un patient de entit� physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3614-3630	Physique est une instance de Inflating objet objet, nombre r�el, nombre r�el, classe and entit� objet est une instance de classe objet est une instance de classe classe est une instance de substance Gas est un attribut de objet Gas est un attribut de objet entit� est une instance de UnitOfVolume la mesure de objet est nombre r�el entit�(s) pendant immediatement avant temps d'existence de physique la mesure de objet est nombre r�el entit�(s) pendant immediatement apr�s temps d'existence de physique nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14765-14770	Objet est une instance de GasMixture objet objet est une partie de objet Gas est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 424-432	Processus est une instance de Spark entit� objet entit� est une instance de Electricity entit� est un patient de processus objet est une instance de substance Gas est un attribut de objet eventLocated processus and objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1092-1103	Processus est une instance de Spraying objet objet and objet Gas est un attribut de objet Liquid est un attribut de objet objet est une instance de GasMixture objet est une partie de objet objet est une partie de objet objet est un patient de processus objet est un patient de processus objet est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25638-25646	Objet est une instance de Steam processus entit� processus est une instance de �vaporer entit� est une instance de eau entit� est un patient de processus objet est le resultat de processus Gas est un attribut de objet

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

KB Term:			Term intersection

English Word: