Relation
_CONSTANT-TEMPERATURE
Arity
:
2
Subrelation-Of
:
_constant
,
_temperature-property
Axioms:
(<=> (
_Constant-Temperature
?A ?B) (And (
_Temperature-Property
?A ?B) (
_Constant
?A ?B)))
Defined in theory:
Physical-concepts
Source code:
Physical-Concepts.lisp