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 "这是拥有不变成分 SubstanceClassPureSubstance 可以是元素 (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 1097-1101
(documentation PureSubstance JapaneseLanguage "一定組成がある Substances の ClassPureSubstance は要素 (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 1095-1095 純物质 详尽无遗地 partition复合物质元素物质
(subclass PureSubstance Substance) Merge.kif 1094-1094 純物质物质subclass

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


(partition Substance PureSubstance Mixture) Merge.kif 1052-1052 物质 详尽无遗地 partition純物质混合物
(subclass CompoundSubstance PureSubstance) Merge.kif 1183-1183 复合物质純物质subclass
(subclass Defoliant PureSubstance) Geography.kif 2805-2805 落叶純物质subclass
(subclass ElementalSubstance PureSubstance) Merge.kif 1103-1103 元素物质純物质subclass
(subclass GreenhouseGas PureSubstance) Geography.kif 2893-2893 温室气体純物质subclass
(subclass HydrophilicLipidHead PureSubstance) VirusProteinAndCellPart.kif 518-518 亲水性脂质头純物质subclass
(subclass HydrophobicLipidTail PureSubstance) VirusProteinAndCellPart.kif 529-529 疏水脂质尾純物质subclass
(subclass Ion PureSubstance) Mid-level-ontology.kif 23282-23282 离子純物质subclass
(termFormat ChineseLanguage PureSubstance "純物质") chinese_format.kif 818-818 离子純物质subclass
(termFormat EnglishLanguage PureSubstance "pure substance") english_format.kif 838-838 离子純物质subclass
(termFormat FrenchLanguage PureSubstance "substance pure") french_format.kif 494-494 离子純物质subclass
(termFormat Hindi PureSubstance "shuddha padaartha") terms-hindi.txt 27-27 离子純物质subclass
(termFormat ItalianLanguage PureSubstance "SostanzaPura") terms-it.txt 30-30 离子純物质subclass
(termFormat JapaneseLanguage PureSubstance "純物質") japanese_format.kif 2179-2179 离子純物质subclass
(termFormat PortugueseLanguage PureSubstance "Substancia Pura") portuguese_format.kif 446-446 离子純物质subclass
(termFormat cb PureSubstance "maputling sustansiya") terms-cb.txt 31-31 离子純物质subclass
(termFormat cz PureSubstance "�ist� substance") terms-cz.txt 61-61 离子純物质subclass
(termFormat de PureSubstance "reine Substanz") terms-de.txt 320-320 离子純物质subclass
(termFormat ro PureSubstance "substanþã purã") relations-ro.kif 515-515 离子純物质subclass
(termFormat tg PureSubstance "purong sangkap") terms-tg.txt 31-31 离子純物质subclass

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


(domain electronNumber 1 PureSubstance) Mid-level-ontology.kif 23325-23325 电子数 的 1 数量 是 純物质instance
(domain protonNumber 1 PureSubstance) Mid-level-ontology.kif 23300-23300 质子数 的 1 数量 是 純物质instance
(domainSubclass boilingPoint 1 PureSubstance) Merge.kif 13946-13946 沸点 的 1 数量 是 純物质subclass
(domainSubclass meltingPoint 1 PureSubstance) Merge.kif 14010-14010 熔点 的 1 数量 是 純物质subclass

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 13951-13960
(=>
    (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 13962-13971
(=>
    (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 13973-13982

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


(=>
    (and
        (instance ?MIXTURE Mixture)
        (piece ?SUBSTANCE ?MIXTURE)
        (not
            (instance ?SUBSTANCE Mixture)))
    (instance ?SUBSTANCE PureSubstance))
Merge.kif 1210-1215
(=>
    (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 12668-12674
(=>
    (instance ?C Chromatography)
    (exists (?S)
        (and
            (instance ?S PureSubstance)
            (result ?C ?S))))
Mid-level-ontology.kif 21228-21233
(=>
    (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 21173-21183
(=>
    (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 1200-1208


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