Sigma KB Term Intersection

Term Intersection : Welcome guest : log in

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

Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12688-12697	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 12677-12686	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 12666-12675	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 1008-1008	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 19459-19459	Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1017-1017	Elemental substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1097-1097	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners