Sigma KB Term Intersection

(=> (and (instance ?X ?Y) (subclass ?Y PureSubstance) (meltingPoint ?Y (MeasureFn ?MELT KelvinDegree)) (barometricPressure ?X (MeasureFn ?PRES InchMercury)) (greaterThan ?PRES 29.92) (measure ?X (MeasureFn ?TEMP KelvinDegree)) (lessThan ?TEMP ?MELT)) (attribute ?X Solid))	Merge.kif 13820-13829	Wenn Object ist ein fall von PureSubstance %n{nicht} und PureSubstance ist eine teilkategorie von PureSubstance und meltingPoint PureSubstance and RealNumber KelvinDegree(s) und barometricPressure Object and RealNumber InchMercury(s) und RealNumber ist groesserAls 29.92 %n{nicht} und das mass von Object ist RealNumber KelvinDegree(s) %n{nicht} und RealNumber ist kleinerAls RealNumber %n{nicht}, dann Solid ist ein attribut von Object %n{nicht}
(=> (and (instance ?X ?Y) (subclass ?Y PureSubstance) (boilingPoint ?Y (MeasureFn ?BOIL KelvinDegree)) (meltingPoint ?Y (MeasureFn ?MELT KelvinDegree)) (measure ?X (MeasureFn ?TEMP KelvinDegree)) (greaterThan ?TEMP ?MELT) (lessThan ?TEMP ?BOIL)) (attribute ?X Liquid))	Merge.kif 13809-13818	Wenn Object ist ein fall von PureSubstance %n{nicht} und PureSubstance ist eine teilkategorie von PureSubstance und boilingPoint PureSubstance and RealNumber KelvinDegree(s) und meltingPoint PureSubstance and RealNumber KelvinDegree(s) und das mass von Object ist RealNumber KelvinDegree(s) %n{nicht} und RealNumber ist groesserAls RealNumber %n{nicht} und RealNumber ist kleinerAls RealNumber %n{nicht}, dann Liquid ist ein attribut von ** Object %n{nicht}
(=> (and (instance ?X ?Y) (subclass ?Y PureSubstance) (barometricPressure ?X (MeasureFn ?PRES InchMercury)) (greaterThan 29.92 ?PRES) (boilingPoint ?Y (MeasureFn ?BOIL KelvinDegree)) (measure ?X (MeasureFn ?TEMP KelvinDegree)) (greaterThan ?TEMP ?BOIL)) (attribute ?X Gas))	Merge.kif 13798-13807	Wenn Object ist ein fall von PureSubstance %n{nicht} und PureSubstance ist eine teilkategorie von PureSubstance und barometricPressure Object and RealNumber InchMercury(s) und 29.92 ist groesserAls RealNumber %n{nicht} und boilingPoint PureSubstance and RealNumber KelvinDegree(s) und das mass von Object ist RealNumber KelvinDegree(s) %n{nicht} und RealNumber ist groesserAls RealNumber %n{nicht}, dann Gas ist ein attribut von Object %n{nicht}
(subclass PureSubstance Substance)	Merge.kif 1084-1084	PureSubstance ist eine teilkategorie von Substance
(subclass HydrophilicLipidHead PureSubstance)	VirusProteinAndCellPart.kif 514-514	HydrophilicLipidHead ist eine teilkategorie von PureSubstance
(subclass HydrophobicLipidTail PureSubstance)	VirusProteinAndCellPart.kif 525-525	HydrophobicLipidTail ist eine teilkategorie von PureSubstance
(subclass Ion PureSubstance)	Mid-level-ontology.kif 21665-21665	Ion ist eine teilkategorie von PureSubstance
(subclass ElementalSubstance PureSubstance)	Merge.kif 1093-1093	ElementalSubstance ist eine teilkategorie von PureSubstance
(subclass CompoundSubstance PureSubstance)	Merge.kif 1173-1173	CompoundSubstance ist eine teilkategorie von PureSubstance
(subclass Defoliant PureSubstance)	Geography.kif 2647-2647	Defoliant ist eine teilkategorie von PureSubstance
(subclass GreenhouseGas PureSubstance)	Geography.kif 2735-2735	GreenhouseGas ist eine teilkategorie von PureSubstance

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