Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ChemicalEquilibrium
|
|
|
| appearance as argument number 1 |
|
|
| (instance ChemicalEquilibrium InternalAttribute) | Mid-level-ontology.kif 21526-21526 | Chemical equilibrium is an instance of internal attribute |
| (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 21527-21529 | Chemical equilibrium is an instance of internal attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (property ?PROCESS ChemicalEquilibrium) (instance ?PROCESS ChemicalProcess)) |
Mid-level-ontology.kif 21531-21533 | If X the attribute chemical equilibrium, then X is an instance of chemical process |
| (=> (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 21535-21542 | If X the attribute chemical equilibrium, then there exist Y, Z,, , W, V such that W is a resource for X holds during Z, V is a result of X holds during Zequal Y, W, and V |
|