capability concept from the SUMO knowledge base

Next TernaryPredicate: connects Up: TernaryPredicate Previous TernaryPredicate: between

capability

subject fact

capability documentation (capability ?PROCESS ?ROLE ?OBJ) means that ?OBJ has the ability to play the role of ?ROLE in Processes of type ?PROCESS 2001-11-30 13:33:48.0
has axiom
(=>
(holdsObligation ?PROCESS ?AGENT)
(capability ?PROCESS agent ?AGENT))
has axiom
(=>
(holdsRight ?PROCESS ?AGENT)
(capability ?PROCESS agent ?AGENT))
has axiom
(=>
(and
(instance ?ROLE CaseRole)
(holds ?ROLE ?ARG1 ?ARG2)
(instance ?ARG1 ?PROC))
(capability ?PROC ?ROLE ?ARG2))
2001-11-30 13:33:48.0
has axiom
(=>
(hasSkill ?PROC ?AGENT)
(capability ?PROC agent ?AGENT))
has domain1 Process
has domain2 CaseRole
has domain3 Object
is an instance of TernaryPredicate

Predicate is first domain of singleValued 2001-11-30 13:35:02.0

Relation is second domain of subrelation 2001-11-30 13:35:10.0

Class is third domain of domain 2001-11-30 13:33:51.0
is third domain of domainSubclass

Abstract is disjoint from Physical 2001-11-30 13:33:32.0

capability	*documentation* (capability ?PROCESS ?ROLE ?OBJ) means that ?OBJ has the ability to play the role of ?ROLE in Processes of type ?PROCESS
	has axiom (=> (holdsObligation ?PROCESS ?AGENT) (capability ?PROCESS agent ?AGENT))
	has axiom (=> (holdsRight ?PROCESS ?AGENT) (capability ?PROCESS agent ?AGENT))
	has axiom (=> (and (instance ?ROLE CaseRole) (holds ?ROLE ?ARG1 ?ARG2) (instance ?ARG1 ?PROC)) (capability ?PROC ?ROLE ?ARG2))
	has axiom (=> (hasSkill ?PROC ?AGENT) (capability ?PROC agent ?AGENT))
	has domain1 Process
	has domain2 CaseRole
	has domain3 Object
	*is an instance* of** TernaryPredicate
Predicate	*is first domain* of** singleValued
Relation	*is second domain* of** subrelation
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical