Class
Resource
Defined in ontology:
Enterprise-v1.0
Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp
Subclass-Of
:
Qua-Entity
,
Eo-Entity
,
Individual
,
Individual-Thing
,
Thing
...
Instance-Of
:
Class
,
Relation
,
Set
Arity
:
1
Documentation
:
The Entity that is used or consumed in the
Can-Use-Resource
relationship
Slots:
Equivalence Axioms for Resource:
(<=> (
Resource
?X) (Exists (?Activity-Or-Spec) (
Can-Use-Resource
?Activity-Or-Spec ?X)))