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 純物質合成物質 + 単体exhaustively partitioned
(subclass PureSubstance Substance) Merge.kif 1094-1094 純物質物質subclass では

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


(partition Substance PureSubstance Mixture) Merge.kif 1052-1052 物質純物質 + 混合物exhaustively partitioned
(subclass CompoundSubstance PureSubstance) Merge.kif 1183-1183 合成物質純物質subclass では
(subclass Defoliant PureSubstance) Geography.kif 2772-2772 Defoliant純物質subclass では
(subclass ElementalSubstance PureSubstance) Merge.kif 1103-1103 単体純物質subclass では
(subclass GreenhouseGas PureSubstance) Geography.kif 2860-2860 GreenhouseGas純物質subclass では
(subclass HydrophilicLipidHead PureSubstance) VirusProteinAndCellPart.kif 518-518 HydrophilicLipidHead純物質subclass では
(subclass HydrophobicLipidTail PureSubstance) VirusProteinAndCellPart.kif 529-529 HydrophobicLipidTail純物質subclass では
(subclass Ion PureSubstance) Mid-level-ontology.kif 23282-23282 Ion純物質subclass では
(termFormat ChineseLanguage PureSubstance "純物质") chinese_format.kif 818-818 Ion純物質subclass では
(termFormat EnglishLanguage PureSubstance "pure substance") english_format.kif 838-838 Ion純物質subclass では
(termFormat FrenchLanguage PureSubstance "substance pure") french_format.kif 494-494 Ion純物質subclass では
(termFormat Hindi PureSubstance "shuddha padaartha") terms-hindi.txt 27-27 Ion純物質subclass では
(termFormat ItalianLanguage PureSubstance "SostanzaPura") terms-it.txt 30-30 Ion純物質subclass では
(termFormat JapaneseLanguage PureSubstance "純物質") japanese_format.kif 2179-2179 Ion純物質subclass では
(termFormat PortugueseLanguage PureSubstance "Substancia Pura") portuguese_format.kif 446-446 Ion純物質subclass では
(termFormat cb PureSubstance "maputling sustansiya") terms-cb.txt 31-31 Ion純物質subclass では
(termFormat cz PureSubstance "�ist� substance") terms-cz.txt 61-61 Ion純物質subclass では
(termFormat de PureSubstance "reine Substanz") terms-de.txt 320-320 Ion純物質subclass では
(termFormat ro PureSubstance "substanþã purã") relations-ro.kif 515-515 Ion純物質subclass では
(termFormat tg PureSubstance "purong sangkap") terms-tg.txt 31-31 Ion純物質subclass では

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


(domain electronNumber 1 PureSubstance) Mid-level-ontology.kif 23325-23325 electronNumber の数値 1 引数は 純物質instance では
(domain protonNumber 1 PureSubstance) Mid-level-ontology.kif 23300-23300 protonNumber の数値 1 引数は 純物質instance では
(domainSubclass boilingPoint 1 PureSubstance) Merge.kif 13946-13946 boilingPoint の数値 1 引数は 純物質subclass では
(domainSubclass meltingPoint 1 PureSubstance) Merge.kif 14010-14010 meltingPoint の数値 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