PureSubstance - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PureSubstance

PureSubstance(pure substance)

acetonic, acetylenic, acetylic, achlorhydric, aeolotropic, alkylic, allomerous, allylic, anhydrous, anisotropic, arsenical, bivalent, critical, divalent, eolotropic, heavy, hydrated, hydrous, identical, isotropic, isotropous, ligand, light, monovalent, multivalent, noncritical, pentavalent, polyvalent, pure_substance, supercritical, tetravalent, trivalent, univalent, 純物質, 純物质

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1121-1124
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1116-1120
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 911-911	"http://upload.wikimedia.org/wikipedia/commons/f/fc/ Water_droplet_blue_bg05.jpg" is a URL depicting pure substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1115-1115	Pure substance is exhaustively partitioned into compound substance and elemental substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1114-1114	Pure substance is a subclass of substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1066-1066	Substance is exhaustively partitioned into pure substance and mixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1220-1220	Compound substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2576-2576	Defoliant is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1126-1126	Elemental substance is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2663-2663	Greenhouse gas is a subclass of pure 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 19458-19458	Ion is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 818-818	"純物质" is the printable form of pure substance in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	english_format.kif 515-515	"pure substance" is the printable form of pure substance in english language
No TPTP formula. May not be expressible in strict first order.	english_format.kif 516-516	"純物質" is the printable form of pure substance in japanese language

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19496-19496	The number 1 argument of electron number is an instance of pure substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19475-19475	The number 1 argument of proton number is an instance of pure substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13780-13780	The number 1 argument of boiling point is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13846-13846	The number 1 argument of melting point is a subclass of pure substance

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13787-13796	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 13798-13807	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 13809-13818	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

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1253-1258	If an object is an instance of mixture and another object is a part of the object and the other object is not an instance of mixture, then the other object is an instance of pure substance
No TPTP formula. May not be expressible in strict first order.	naics.kif 3132-3148	If a collection is an instance of organization and chemical manufacturing is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist an entity, the object2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of pure substance and the entity is a patient of the agent and the object2 is a member of the collection and the agent2 is an instance of selling and the object2 is an agent of the agent2 and the entity is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 631-648	If a collection is an instance of organization and mining is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist another object, the object2 and the agent2 such that the agent is an instance of removing and the other object is a patient of the agent and the other object is an instance of pure substance and solid is an attribute of the other object and the object2 is a member of the collection and the agent2 is an instance of selling and the object2 is an agent of the agent2 and the other object is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 3697-3715	If a collection is an instance of organization and nonmetallic mineral product manufacturing is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist an entity, the object2 and the agent2 such that the agent is an instance of manufacture and the entity is not an instance of metal and the entity is an instance of pure substance and the entity is a patient of the agent and the object2 is a member of the collection and the agent2 is an instance of selling and the object2 is an agent of the agent2 and the entity is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	If a collection is an instance of organization and utilities is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist another object, the object2 and the agent2 such that the agent is an instance of removing or the other object is an instance of sewage and the other object is a patient of the agent and the other object is an instance of electron or the other object is an instance of water or the other object is an instance of pure substance and the other object is capable of doing combustion as a patient and the object2 is a member of the collection and the agent2 is an instance of financial transaction and the object2 is an agent of the agent2 and the other object is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12426-12432	If a process is an instance of chemical process and an object is a resource for the process or the object is a result of the process, then the object is an instance of pure substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17434-17439	If a process is an instance of chromatography, then there exists an entity such that the entity is an instance of pure substance and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17379-17389	If a process is an instance of dialysis, then there exist an object, an entity and another entity such that the object is a resource for the process and the object is an instance of solution and the entity is a result of the process and the entity is an instance of pure substance and the other entity is a result of the process and the other entity is an instance of pure substance and the entity is not equal to the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1243-1251	If an object is an instance of mixture, then there exist another object and a third object such that the other object is an instance of pure substance and the third object is an instance of pure substance and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners