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 1087-1091
(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 1085-1085 劃分 PureSubstance, CompoundSubstance and ElementalSubstance
(subclass PureSubstance Substance) Merge.kif 1084-1084 子類 PureSubstance and Substance

appearance as argument number 2
-------------------------


(partition Substance PureSubstance Mixture) Merge.kif 1042-1042 劃分 Substance, PureSubstance and Mixture
(subclass CompoundSubstance PureSubstance) Merge.kif 1173-1173 子類 CompoundSubstance and PureSubstance
(subclass Defoliant PureSubstance) Geography.kif 2647-2647 子類 落葉 and PureSubstance
(subclass ElementalSubstance PureSubstance) Merge.kif 1093-1093 子類 ElementalSubstance and PureSubstance
(subclass GreenhouseGas PureSubstance) Geography.kif 2735-2735 子類 溫室氣體 and PureSubstance
(subclass HydrophilicLipidHead PureSubstance) VirusProteinAndCellPart.kif 513-513 子類 親水性脂質頭 and PureSubstance
(subclass HydrophobicLipidTail PureSubstance) VirusProteinAndCellPart.kif 524-524 子類 疏水脂質尾 and PureSubstance
(subclass Ion PureSubstance) Mid-level-ontology.kif 21923-21923 子類 離子 and PureSubstance
(termFormat ChineseLanguage PureSubstance "純物质") chinese_format.kif 818-818 子類 離子 and PureSubstance
(termFormat EnglishLanguage PureSubstance "pure substance") english_format.kif 838-838 子類 離子 and PureSubstance
(termFormat FrenchLanguage PureSubstance "substance pure") french_format.kif 494-494 子類 離子 and PureSubstance
(termFormat Hindi PureSubstance "shuddha padaartha") terms-hindi.txt 27-27 子類 離子 and PureSubstance
(termFormat ItalianLanguage PureSubstance "SostanzaPura") terms-it.txt 30-30 子類 離子 and PureSubstance
(termFormat JapaneseLanguage PureSubstance "純物質") japanese_format.kif 2179-2179 子類 離子 and PureSubstance
(termFormat PortugueseLanguage PureSubstance "Substancia Pura") portuguese_format.kif 446-446 子類 離子 and PureSubstance
(termFormat cb PureSubstance "maputling sustansiya") terms-cb.txt 31-31 子類 離子 and PureSubstance
(termFormat cz PureSubstance "�ist� substance") terms-cz.txt 61-61 子類 離子 and PureSubstance
(termFormat ro PureSubstance "substanþã purã") relations-ro.kif 515-515 子類 離子 and PureSubstance
(termFormat tg PureSubstance "purong sangkap") terms-tg.txt 31-31 子類 離子 and PureSubstance

appearance as argument number 3
-------------------------


(domain electronNumber 1 PureSubstance) Mid-level-ontology.kif 21966-21966 域 電子數, 1 and PureSubstance
(domain protonNumber 1 PureSubstance) Mid-level-ontology.kif 21941-21941 域 質子數, 1 and PureSubstance
(domainSubclass boilingPoint 1 PureSubstance) Merge.kif 13839-13839 域子類 沸點, 1 and PureSubstance
(domainSubclass meltingPoint 1 PureSubstance) Merge.kif 13903-13903 域子類 熔點, 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 13844-13853
(=>
    (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 13855-13864
(=>
    (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 13866-13875

consequent
-------------------------


(=>
    (and
        (instance ?MIXTURE Mixture)
        (piece ?SUBSTANCE ?MIXTURE)
        (not
            (instance ?SUBSTANCE Mixture)))
    (instance ?SUBSTANCE PureSubstance))		 Merge.kif 1200-1205
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (and
        (instance ?PROC ChemicalProcess)
        (or
            (resource ?PROC ?STUFF)
            (result ?PROC ?STUFF)))
    (instance ?STUFF PureSubstance))		 Merge.kif 12560-12566
(=>
    (instance ?C Chromatography)
    (exists (?S)
        (and
            (instance ?S PureSubstance)
            (result ?C ?S))))		 Mid-level-ontology.kif 19915-19920
(=>
    (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 19860-19870
(=>
    (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 1190-1198


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