ChemicalEquilibrium(chemical equilibrium) | system |
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 19885-19887 | |
(instance ChemicalEquilibrium InternalAttribute) | Mid-level-ontology.kif 19884-19884 | Chemical equilibrium is an instance of internal attribute |
appearance as argument number 2 |
(termFormat ChineseLanguage ChemicalEquilibrium "化学平衡") | domainEnglishFormat.kif 14326-14326 | |
(termFormat ChineseTraditionalLanguage ChemicalEquilibrium "化學平衡") | domainEnglishFormat.kif 14325-14325 | |
(termFormat EnglishLanguage ChemicalEquilibrium "chemical equilibrium") | domainEnglishFormat.kif 14324-14324 |
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 19893-19900 |
|
(=> (property ?PROCESS ChemicalEquilibrium) (instance ?PROCESS ChemicalProcess)) |
Mid-level-ontology.kif 19889-19891 |
|