Relation Have-Capability

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Instance-Of: Binary-Relation, Relation, Set

Domain: Potential-Actor

Range: Activity-Spec

Has-Subrelation: Have-Skill

Arity: 2

Documentation:

A Relationship between an Actor and an Activity-Spec denoting the ability of the Actor to perform the Activities as specified.

Axioms mentioning Have-Capability:

(<= (Have-Capability Ontolingua-Internal::@Arg-List)
    (Have-Skill Ontolingua-Internal::@Arg-List))