Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12806-12815	If an object is an instance of a kind of pure substance and a kind of pure substance is a subclass of pure substance and a real number kelvin degree(s) is a melting point of the kind of pure substance and another real number inch mercury(s) is a barometric pressure of the object and the other real number is greater than 29.92 and the measure of the object is a third real number kelvin degree(s) and the third real number is less than the real number, then solid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12795-12804	If an object is an instance of a kind of pure substance and a kind of pure substance is a subclass of pure substance and a real number kelvin degree(s) is a boiling point of the kind of pure substance and another real number kelvin degree(s) is a melting point of the kind of pure substance and the measure of the object is a third real number kelvin degree(s) and the third real number is greater than the other real number and the third real number is less than the real number, then liquid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12784-12793	If an object is an instance of a kind of pure substance and a kind of pure substance is a subclass of pure substance and a real number inch mercury(s) is a barometric pressure of the object and 29.92 is greater than the real number and another real number kelvin degree(s) is a boiling point of the kind of pure substance and the measure of the object is a third real number kelvin degree(s) and the third real number is greater than the other real number, then gas is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1003-1003	Pure substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 391-391	Hydrophilic lipid head is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 402-402	Hydrophobic lipid tail is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19496-19496	Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1012-1012	Elemental substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1092-1092	Compound substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2588-2588	Defoliant is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2675-2675	Greenhouse gas is a subclass of pure substance

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