| CompoundSubstance | |
| appearance as argument number 1 |
|
|
| (documentation CompoundSubstance ChineseLanguage "这个 Substance Class ，以确定的重量比例 ，拥有两个或以上元素 (ElementalSubstance)。不管事用什麽方法提炼，纯复合物的成分保持不变。复合物由 超过一中原子（元素)组成。分子这个术语通常用来识别哪些仍然保留化合物所有性质的最小单元。例如：食盐 （氯化钠，NaCl)、糖（蔗糖，C_{12}H_{22}O_{11})、水（H_2O)。") | chinese_format.kif 1617-1620 | |
| (documentation CompoundSubstance EnglishLanguage "The Class of Substances that contain two or more elements (ElementalSubstances) in definite proportion by weight. The composition of a pure compound will be invariant, regardless of the method of preparation. Compounds are composed of more than one kind of atom (element). The term molecule is often used for the smallest unit of a compound that still retains all of the properties of the compound. Examples: Table salt (sodium chloride, NaCl), sugar (sucrose, C_{12}H_{22}O_{11}), and water (H_2O). ") | Merge.kif 1174-1180 | |
| (documentation CompoundSubstance JapaneseLanguage "重量で明確な割合で、2つ以上の要素 (ElementalSubstances) を含む Substances の Class 。 準備の方法に関係なく、純粋な化合 物の組成は不変である。 化合物は、複数の種類の原子（要素）で構成される。 分子という用語は、多くの 場合、化合物の最小単位に使用され化合物のすべてのプロパティを保持する。例：食卓塩（ナトリウム 塩化物、NaCl）、砂糖（蔗糖、C_ {12} H_ {22} O_ {11}）、および水（H_2O）。") | japanese_format.kif 197-201 | |
| (documentation CompoundSubstance SpanishLanguage "La Class de Substances que contiene dos o más elementos (ElementalSubstances) en proporción definitiva por peso. La composición de un compuesto no varía independientemente del método de preparación. Los compuestos se componen de más de un tipo de átomo (elemento). El término, «molécula» se usa muchas veces como la unidad más pequeña que todavía retiene todas las propiedades del compuesto. Por ejemplo la sal común, (cloruro de sodio, NaCl), azúcar (sacarosa, C_{12}H_{22}O_{11}) y el agua (H_2O).") | spanish_format.kif 233-239 | |
| (subclass CompoundSubstance PureSubstance) | Merge.kif 1173-1173 | CompoundSubstance ist eine teilkategorie von PureSubstance |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain conjugate 1 CompoundSubstance) | Mid-level-ontology.kif 6495-6495 | Die Zahl 1 Argument von conjugate ist ein fall von CompoundSubstance %n{nicht} |
| (domain conjugate 2 CompoundSubstance) | Mid-level-ontology.kif 6496-6496 | Die Zahl 2 Argument von conjugate ist ein fall von CompoundSubstance %n{nicht} |
| (domainSubclass molecularRatio 3 CompoundSubstance) | Cars.kif 1770-1770 | Die Zahl 3 Argument von molecularRatio ist eine teilkategorie von CompoundSubstance %n{nicht} |
| antecedent |
|
|
| (=> (and (instance ?CS1 ?CLASS) (subclass ?CLASS CompoundSubstance) (not (exists (?CS2) (and (instance ?CS2 ?CLASS) (part ?CS2 ?CS1)))) (molecularRatio ?ECLASS ?N ?CLASS) (instance ?G Group) (member ?E ?G) (part ?E ?CS1) (instance ?E ?ECLASS)) (memberCount ?G ?N)) |
Cars.kif 1772-1786 |
|
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 CompoundSubstance) (instance ?SUBSTANCE2 ElementalSubstance)) (instance ?PROC ChemicalDecomposition)) |
Merge.kif 12563-12569 |
|
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 ElementalSubstance) (instance ?SUBSTANCE2 CompoundSubstance)) (instance ?PROC ChemicalSynthesis)) |
Merge.kif 12527-12533 |
|
| (=> (instance ?COMPOUND CompoundSubstance) (exists (?ELEMENT1 ?ELEMENT2 ?PROCESS) (and (instance ?ELEMENT1 ElementalSubstance) (instance ?ELEMENT2 ElementalSubstance) (not (equal ?ELEMENT1 ?ELEMENT2)) (instance ?PROCESS ChemicalSynthesis) (resource ?PROCESS ?ELEMENT1) (resource ?PROCESS ?ELEMENT2) (result ?PROCESS ?COMPOUND)))) |
Merge.kif 12535-12545 |
|
| consequent |
|
|
| (<=> (instance ?CS ConjugatedSubstance) (exists (?C1 ?C2 ?P) (and (instance ?C1 CompoundSubstance) (instance ?C2 CompoundSubstance) (not (equal ?C1 ?C2)) (instance ?P ChemicalSynthesis) (resource ?P ?C1) (resource ?P ?C2) (result ?P ?CS)))) |
Mid-level-ontology.kif 6478-6488 | Entity ist ein fall von ConjugatedSubstance %n{nicht} genau dann wenn es gibt Object, ** Object, and und Process um ** Object ist ein fall von CompoundSubstance %n{nicht} und ** ** Object ist ein fall von CompoundSubstance %n{nicht} und ** Object ist gleich ** ** Object nicht und ** Process ist ein fall von ChemicalSynthesis %n{nicht} und ** Object ist ein hilfmittel fuer ** Process %n{nicht} und ** ** Object ist ein hilfmittel fuer ** Process %n{nicht} und ** Entity ist ein resultat von ** Process %n{nicht} |
| (=> (and (instance ?ELEMENT1 ElementalSubstance) (instance ?ELEMENT2 ElementalSubstance) (not (equal ?ELEMENT1 ?ELEMENT2)) (instance ?PROCESS ChemicalSynthesis) (resource ?PROCESS ?ELEMENT1) (resource ?PROCESS ?ELEMENT2) (result ?PROCESS ?COMPOUND)) (instance ?COMPOUND CompoundSubstance)) |
Merge.kif 12547-12556 |
|
|
|
|