Relation
TEMPORAL-PART-OF
Arity
:
2
Domain
:
Temporalized-entity
Range
:
Temporalized-entity
Subrelation-Of
:
Part-of
Axioms:
(=> (
Temporal-Part-Of
?A ?B) (=> (And (
Part-Of
?A ?B) (
Part-Of
?B ?A)) (
Identity
?A ?B)))
Defined in theory:
Meronymy
Source code:
Meronymy.lisp