Relation
PHYSICAL-CATEGORY
Arity
:
2
Axioms:
(
=
(
Inverse
Physical-Category-Of
)
Physical-Category
)
Defined in theory:
Physical-concepts
Source code:
Physical-Concepts.lisp