activityCapability - Sigma Knowledge base Browser

appearance as argument number 1

(documentation activityCapability EnglishLanguage "(activityCapability ?AGENT ?ACT) means that Process ?ACT can be located on the property owned by AutonomousAgent ?AGENT")	Hotel.kif 592-593
(domain activityCapability 1 AutonomousAgent)	Hotel.kif 596-596	The number 1 argument of activity capability is an instance of agent
(domainSubclass activityCapability 2 Process)	Hotel.kif 597-597	The number 2 argument of activity capability is a subclass of process
(instance activityCapability BinaryPredicate)	Hotel.kif 591-591	activity capability is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage activityCapability "%1 can hold %2 的种类")	domainEnglishFormat.kif 2694-2694
(format ChineseTraditionalLanguage activityCapability "%1 can hold %2 的種類")	domainEnglishFormat.kif 2693-2693
(format EnglishLanguage activityCapability "%1 can hold kinds of %2")	domainEnglishFormat.kif 2692-2692
(termFormat EnglishLanguage activityCapability "activity capability")	Hotel.kif 594-594

antecedent

(=>
    (activityCapability ?AGENT ?ACT)
    (exists (?LOC)
        (and
            (element ?LOC
                (PropertyFn ?AGENT))
            (capability ?ACT located ?LOC))))

Hotel.kif 599-604