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

appearance as argument number 1

(documentation PureSubstance ChineseLanguage "这是拥有不变成分 Substance 的 Class 。 PureSubstance 可以是元素 (ElementalSubstance)，又或者是拥有多个元素的化合物 (CompoundSubstance)。例如：食盐（氯化钠，NaCl)、糖（蔗糖，C_{12}H_{22}O_{11})、水（H_2O) 、铁（Fe)、铜（Cu)和氧（O_2)。")	chinese_format.kif 1595-1598
(documentation PureSubstance EnglishLanguage "The Class of Substances with constant composition. A PureSubstance can be either an element (ElementalSubstance) or a compound of elements (CompoundSubstance). Examples: Table salt (sodium chloride, NaCl), sugar (sucrose, C_{12}H_{22}O_{11}), water (H_2O), iron (Fe), copper (Cu), and oxygen (O_2).")	Merge.kif 1011-1015
(externalImage PureSubstance "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Water_droplet_blue_bg05.jpg")	pictureList.kif 911-911	externalImage PureSubstance and "http://upload.wikimedia.org/wikipedia/commons/f/fc/ Water_droplet_blue_bg05.jpg"
(partition PureSubstance CompoundSubstance ElementalSubstance)	Merge.kif 1009-1009	partition PureSubstance, CompoundSubstance and ElementalSubstance
(subclass PureSubstance Substance)	Merge.kif 1008-1008	subclass PureSubstance and Substance

appearance as argument number 2

(partition Substance PureSubstance Mixture)	Merge.kif 966-966	partition Substance, PureSubstance and Mixture
(subclass CompoundSubstance PureSubstance)	Merge.kif 1097-1097	subclass CompoundSubstance and PureSubstance
(subclass Defoliant PureSubstance)	Geography.kif 2588-2588	subclass Defoliant and PureSubstance
(subclass ElementalSubstance PureSubstance)	Merge.kif 1017-1017	subclass ElementalSubstance and PureSubstance
(subclass GreenhouseGas PureSubstance)	Geography.kif 2675-2675	subclass GreenhouseGas and PureSubstance
(subclass HydrophilicLipidHead PureSubstance)	VirusProteinAndCellPart.kif 391-391	subclass HydrophilicLipidHead and PureSubstance
(subclass HydrophobicLipidTail PureSubstance)	VirusProteinAndCellPart.kif 402-402	subclass HydrophobicLipidTail and PureSubstance
(subclass Ion PureSubstance)	Mid-level-ontology.kif 19459-19459	subclass Ion and PureSubstance
(termFormat ChineseLanguage PureSubstance "純物质")	chinese_format.kif 818-818	termFormat ChineseLanguage, PureSubstance and "純物质"
(termFormat EnglishLanguage PureSubstance "pure substance")	english_format.kif 843-843	termFormat EnglishLanguage, PureSubstance and "pure substance"

appearance as argument number 3

(domain electronNumber 1 PureSubstance)	Mid-level-ontology.kif 19497-19497	domain electronNumber, 1 and PureSubstance
(domain protonNumber 1 PureSubstance)	Mid-level-ontology.kif 19476-19476	domain protonNumber, 1 and PureSubstance
(domainSubclass boilingPoint 1 PureSubstance)	Merge.kif 12661-12661	domainSubclass boilingPoint, 1 and PureSubstance
(domainSubclass meltingPoint 1 PureSubstance)	Merge.kif 12725-12725	domainSubclass meltingPoint, 1 and PureSubstance

antecedent

(=> (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 12666-12675	instance Object and PureSubstance subclass PureSubstance and PureSubstance barometricPressure Object and MeasureFn RealNumber and InchMercury greaterThan 29.92 and RealNumber boilingPoint PureSubstance and MeasureFn RealNumber and KelvinDegree measure Object and MeasureFn RealNumber and KelvinDegree greaterThan RealNumber and RealNumber attribute Object and Gas
(=> (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 12677-12686	instance Object and PureSubstance subclass PureSubstance and PureSubstance boilingPoint PureSubstance and MeasureFn RealNumber and KelvinDegree meltingPoint PureSubstance and MeasureFn RealNumber and KelvinDegree measure Object and MeasureFn RealNumber and KelvinDegree greaterThan RealNumber and RealNumber lessThan RealNumber and RealNumber attribute Object and Liquid
(=> (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 12688-12697	instance Object and PureSubstance subclass PureSubstance and PureSubstance meltingPoint PureSubstance and MeasureFn RealNumber and KelvinDegree barometricPressure Object and MeasureFn RealNumber and InchMercury greaterThan RealNumber and 29.92 measure Object and MeasureFn RealNumber and KelvinDegree lessThan RealNumber and RealNumber attribute Object and Solid

consequent

(=> (and (instance ?MIXTURE Mixture) (part ?SUBSTANCE ?MIXTURE) (not (instance ?SUBSTANCE Mixture))) (instance ?SUBSTANCE PureSubstance))	Merge.kif 1124-1129	instance Object and Mixture part Object and Object instance Object and Mixture instance Object and PureSubstance
(=> (and (instance ?ORG Organization) (attribute ?ORG ChemicalManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING PureSubstance) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 3132-3148	instance Collection and Organization attribute Collection and ChemicalManufacturing Agent Object member Object and Collection agent Object and Agent Entity Object and Agent instance Agent and Manufacture instance Entity and PureSubstance patient Agent and Entity member Object and Collection instance Agent and Selling agent Agent and Object patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG Mining)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Removing) (patient ?EV ?THING) (instance ?THING PureSubstance) (attribute ?THING Solid) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 631-648	instance Collection and Organization attribute Collection and Mining Agent Object member Object and Collection agent Object and Agent Object Object and Agent instance Agent and Removing patient Agent and Object instance Object and PureSubstance attribute Object and Solid member Object and Collection instance Agent and Selling agent Agent and Object patient Agent and Object
(=> (and (instance ?ORG Organization) (attribute ?ORG NonmetallicMineralProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (not (instance ?THING Metal)) (instance ?THING PureSubstance) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 3697-3715	instance Collection and Organization attribute Collection and NonmetallicMineralProductManufacturing Agent Object member Object and Collection agent Object and Agent Entity Object and Agent instance Agent and Manufacture instance Entity and Metal instance Entity and PureSubstance patient Agent and Entity member Object and Collection instance Agent and Selling agent Agent and Object patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG Utilities)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (or (instance ?EV Removing) (instance ?THING Sewage)) (patient ?EV ?THING) (or (instance ?THING Electron) (instance ?THING Water) (and (instance ?THING PureSubstance) (capability Combustion patient ?THING))) (member ?MEM2 ?ORG) (instance ?EV2 FinancialTransaction) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 954-977	instance Collection and Organization attribute Collection and Utilities Agent Object member Object and Collection agent Object and Agent Object Object and Agent instance Agent and Removing instance Object and Sewage patient Agent and Object instance Object and Electron instance Object and Water instance Object and PureSubstance capability Combustion, patient and Object member Object and Collection instance Agent and FinancialTransaction agent Agent and Object patient Agent and Object
(=> (and (instance ?PROC ChemicalProcess) (or (resource ?PROC ?STUFF) (result ?PROC ?STUFF))) (instance ?STUFF PureSubstance))	Merge.kif 11477-11483	instance Process and ChemicalProcess resource Process and Object result Process and Object instance Object and PureSubstance
(=> (instance ?C Chromatography) (exists (?S) (and (instance ?S PureSubstance) (result ?C ?S))))	Mid-level-ontology.kif 17435-17440	instance Process and Chromatography Entity instance Entity and PureSubstance result Process and Entity
(=> (instance ?DIALYSIS Dialysis) (exists (?SOLUTION ?SUBSTANCE1 ?SUBSTANCE2) (and (resource ?DIALYSIS ?SOLUTION) (instance ?SOLUTION Solution) (result ?DIALYSIS ?SUBSTANCE1) (instance ?SUBSTANCE1 PureSubstance) (result ?DIALYSIS ?SUBSTANCE2) (instance ?SUBSTANCE2 PureSubstance) (not (equal ?SUBSTANCE1 ?SUBSTANCE2)))))	Mid-level-ontology.kif 17380-17390	instance Process and Dialysis Object Entity and Entity resource Process and Object instance Object and Solution result Process and Entity instance Entity and PureSubstance result Process and Entity instance Entity and PureSubstance equal Entity and Entity
(=> (instance ?MIXTURE Mixture) (exists (?PURE1 ?PURE2) (and (instance ?PURE1 PureSubstance) (instance ?PURE2 PureSubstance) (not (equal ?PURE1 ?PURE2)) (part ?PURE1 ?MIXTURE) (part ?PURE2 ?MIXTURE))))	Merge.kif 1114-1122	instance Object and Mixture Object Object instance Object and PureSubstance instance Object and PureSubstance equal Object and Object part Object and Object part Object and 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