ChemicalEquilibrium
|
|
appearance as argument number 1 |
(documentation ChemicalEquilibrium EnglishLanguage "The Attribute of being in a chemically stable state, i.e. the relative proportions of resources and results will not longer change.") | Mid-level-ontology.kif 19654-19656 | |
(instance ChemicalEquilibrium InternalAttribute) | Mid-level-ontology.kif 19653-19653 |
appearance as argument number 2 |
(termFormat ChineseLanguage ChemicalEquilibrium "化学平衡") | domainEnglishFormat.kif 14310-14310 | |
(termFormat ChineseTraditionalLanguage ChemicalEquilibrium "化學平衡") | domainEnglishFormat.kif 14309-14309 | |
(termFormat EnglishLanguage ChemicalEquilibrium "chemical equilibrium") | domainEnglishFormat.kif 14308-14308 |
antecedent |
(=> (property ?PROCESS ChemicalEquilibrium) (exists (?RATIO ?TIME ?RESOURCE ?RESULT) (=> (and (holdsDuring ?TIME (resource ?PROCESS ?RESOURCE)) (holdsDuring ?TIME (result ?PROCESS ?RESULT))) (equal ?RATIO (DivisionFn ?RESOURCE ?RESULT))))) |
Mid-level-ontology.kif 19662-19669 | |
(=> (property ?PROCESS ChemicalEquilibrium) (instance ?PROCESS ChemicalProcess)) |
Mid-level-ontology.kif 19658-19660 |