Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13958-13967	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 13947-13956	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 13936-13945	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 1079-1079	Pure substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 518-518	Hydrophilic lipid head is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 529-529	Hydrophobic lipid tail is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23282-23282	Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1088-1088	Elemental substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1168-1168	Compound substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2635-2635	Defoliant is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2723-2723	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