PureSubstance - Sigma Knowledge base Browser

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 1080-1084
(documentation PureSubstance JapaneseLanguage "一定組成がある Substances の Class。 PureSubstance は要素 (ElementalSubstance) または要素の複合 (CompoundSubstance) のいずれかである。例：食塩（塩化ナトリウム、NaCl）、砂糖（蔗糖、C_ {12} H_ {22} O_ {11}）、水（H_2O）、鉄（Fe）、銅（Cu）、および酸素 (O_2)。")	japanese_format.kif 174-177
(documentation PureSubstance SpanishLanguage "La Class de Substances con composición constante. Una PureSubstance puede ser un elemento (ElementalSubstance) o un compuesto de elementos (CompoundSubstance). Por ejemplo, la sal común (cloruro de sodio, NaCl), azúcar (sacarosa, C_{12}H_{22}O_{11}), agua (H_2O), hierro (Fe), cobre (Cu) y oxígeno (O_2).")	spanish_format.kif 206-210
(externalImage PureSubstance "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Water_droplet_blue_bg05.jpg")	pictureList.kif 910-910
(partition PureSubstance CompoundSubstance ElementalSubstance)	Merge.kif 1078-1078	Pure substance is exhaustively partitioned into compound substance and elemental substance
(subclass PureSubstance Substance)	Merge.kif 1077-1077	Pure substance is a subclass of substance

appearance as argument number 2

(partition Substance PureSubstance Mixture)	Merge.kif 1035-1035	Substance is exhaustively partitioned into pure substance and mixture
(subclass CompoundSubstance PureSubstance)	Merge.kif 1166-1166	Compound substance is a subclass of pure substance
(subclass Defoliant PureSubstance)	Geography.kif 2635-2635	Defoliant is a subclass of pure substance
(subclass ElementalSubstance PureSubstance)	Merge.kif 1086-1086	Elemental substance is a subclass of pure substance
(subclass GreenhouseGas PureSubstance)	Geography.kif 2723-2723	Greenhouse gas is a subclass of pure substance
(subclass HydrophilicLipidHead PureSubstance)	VirusProteinAndCellPart.kif 513-513	Hydrophilic lipid head is a subclass of pure substance
(subclass HydrophobicLipidTail PureSubstance)	VirusProteinAndCellPart.kif 524-524	Hydrophobic lipid tail is a subclass of pure substance
(subclass Ion PureSubstance)	Mid-level-ontology.kif 22754-22754	Ion is a subclass of pure substance
(termFormat ChineseLanguage PureSubstance "純物质")	chinese_format.kif 818-818	Ion is a subclass of pure substance
(termFormat EnglishLanguage PureSubstance "pure substance")	english_format.kif 838-838	Ion is a subclass of pure substance
(termFormat FrenchLanguage PureSubstance "substance pure")	french_format.kif 494-494	Ion is a subclass of pure substance
(termFormat Hindi PureSubstance "shuddha padaartha")	terms-hindi.txt 27-27	Ion is a subclass of pure substance
(termFormat ItalianLanguage PureSubstance "SostanzaPura")	terms-it.txt 30-30	Ion is a subclass of pure substance
(termFormat JapaneseLanguage PureSubstance "純物質")	japanese_format.kif 2179-2179	Ion is a subclass of pure substance
(termFormat PortugueseLanguage PureSubstance "Substancia Pura")	portuguese_format.kif 446-446	Ion is a subclass of pure substance
(termFormat cb PureSubstance "maputling sustansiya")	terms-cb.txt 31-31	Ion is a subclass of pure substance
(termFormat cz PureSubstance "�ist� substance")	terms-cz.txt 61-61	Ion is a subclass of pure substance
(termFormat de PureSubstance "reine Substanz")	terms-de.txt 320-320	Ion is a subclass of pure substance
(termFormat ro PureSubstance "substanþã purã")	relations-ro.kif 515-515	Ion is a subclass of pure substance
(termFormat tg PureSubstance "purong sangkap")	terms-tg.txt 31-31	Ion is a subclass of pure substance

appearance as argument number 3

(domain electronNumber 1 PureSubstance)	Mid-level-ontology.kif 22797-22797	The number 1 argument of electron number is an instance of pure substance
(domain protonNumber 1 PureSubstance)	Mid-level-ontology.kif 22772-22772	The number 1 argument of proton number is an instance of pure substance
(domainSubclass boilingPoint 1 PureSubstance)	Merge.kif 13867-13867	The number 1 argument of boiling point is a subclass of pure substance
(domainSubclass meltingPoint 1 PureSubstance)	Merge.kif 13931-13931	The number 1 argument of melting point is a subclass of pure substance

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 13872-13881	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
(=> (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 13883-13892	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
(=> (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 13894-13903	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

(=> (and (instance ?MIXTURE Mixture) (piece ?SUBSTANCE ?MIXTURE) (not (instance ?SUBSTANCE Mixture))) (instance ?SUBSTANCE PureSubstance))	Merge.kif 1193-1198	If a substance is an instance of mixture and another substance is a piece of the substance and the other substance is not an instance of mixture, then the other substance is an instance of pure substance
(=> (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 3125-3141	If a collection is an instance of organization and chemical manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 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 process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
(=> (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	If a collection is an instance of organization and mining is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an object, the process2 and the agent2 such that the agent is an instance of removing and the object is a patient of the agent and the object is an instance of pure substance and solid is an attribute of the object and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the object is a patient of the agent2
(=> (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 3690-3708	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 a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 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 process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
(=> (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	If a collection is an instance of organization and utilities is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an object, the process2 and the agent2 such that the agent is an instance of removing or the object is an instance of sewage and the object is a patient of the agent and the object is an instance of electron or the object is an instance of water or the object is an instance of pure substance and the object is capable of doing burning as a patient and the process2 is a member of the collection and the agent2 is an instance of financial transaction and the process2 is an agent of the agent2 and the object is a patient of the agent2
(=> (and (instance ?PROC ChemicalProcess) (or (resource ?PROC ?STUFF) (result ?PROC ?STUFF))) (instance ?STUFF PureSubstance))	Merge.kif 12589-12595	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
(=> (instance ?C Chromatography) (exists (?S) (and (instance ?S PureSubstance) (result ?C ?S))))	Mid-level-ontology.kif 20746-20751	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
(=> (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 20691-20701	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
(=> (instance ?MIXTURE Mixture) (exists (?PURE1 ?PURE2) (and (instance ?PURE1 PureSubstance) (instance ?PURE2 PureSubstance) (not (equal ?PURE1 ?PURE2)) (piece ?PURE1 ?MIXTURE) (piece ?PURE2 ?MIXTURE))))	Merge.kif 1183-1191	If a substance is an instance of mixture, then there exist another substance and a third substance such that the other substance is an instance of pure substance and the third substance is an instance of pure substance and the other substance is not equal to the third substance and the other substance is a piece of the substance and the third substance is a piece of the substance

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: