TreeView Knowledge Base Browser - activityCapability

appearance as argument number 1

(documentation activityCapability EnglishLanguage "(activityCapability ?AGENT ?ACT) means that Process ?ACT can be located on the property owned by Agent ?AGENT")	Hotel.kif 571-572
(domain activityCapability 1 Agent)	Hotel.kif 575-575	The number 1 argument of activity capability is an instance of agent
(domainSubclass activityCapability 2 Process)	Hotel.kif 576-576	The number 2 argument of activity capability is a subclass of process
(instance activityCapability BinaryPredicate)	Hotel.kif 570-570	activity capability is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage activityCapability "%1 can hold %2 的种类")	domainEnglishFormat.kif 2703-2703
(format ChineseTraditionalLanguage activityCapability "%1 can hold %2 的種類")	domainEnglishFormat.kif 2702-2702
(format EnglishLanguage activityCapability "%1 can hold kinds of %2")	domainEnglishFormat.kif 2701-2701
(termFormat EnglishLanguage activityCapability "activity capability")	Hotel.kif 573-573

antecedent

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

Hotel.kif 578-583