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 596-597
(domain activityCapability 1 AutonomousAgent)	Hotel.kif 600-600	The number 1 argument of activity capability is an instance of agent
(domainSubclass activityCapability 2 Process)	Hotel.kif 601-601	The number 2 argument of activity capability is a subclass of process
(instance activityCapability BinaryPredicate)	Hotel.kif 595-595	activity capability is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage activityCapability "%1 can hold %2 的种类")	domainEnglishFormat.kif 2698-2698
(format ChineseTraditionalLanguage activityCapability "%1 can hold %2 的種類")	domainEnglishFormat.kif 2697-2697
(format EnglishLanguage activityCapability "%1 can hold kinds of %2")	domainEnglishFormat.kif 2696-2696
(termFormat EnglishLanguage activityCapability "activity capability")	Hotel.kif 598-598

antecedent

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

Hotel.kif 603-608