| 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 17404-17406 | |
| (instance ChemicalEquilibrium InternalAttribute) | Mid-level-ontology.kif 17403-17403 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ChemicalEquilibrium "chemical equilibrium") | domainEnglishFormat.kif 2808-2808 |
| antecedent |
|
|
| (=> (property ?PROCESS ChemicalEquilibrium) (exists (?RATIO) (=> (and (holdsDuring ?TIME (resource ?PROCESS ?RESOURCE)) (holdsDuring ?TIME (result ?PROCESS ?RESULT))) (equal ?RATIO (DivisionFn ?RESOURCE ?RESULT))))) |
Mid-level-ontology.kif 17412-17419 | |
| (=> (property ?PROCESS ChemicalEquilibrium) (instance ?PROCESS ChemicalProcess)) |
Mid-level-ontology.kif 17408-17410 |
|
|
|