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 AutonomousAgent ?AGENT")	Hotel.kif 592-593
(domain activityCapability 1 AutonomousAgent)	Hotel.kif 596-596	Il numero 1 argomenti di activityCapability è un istanza di AutonomousAgent
(domainSubclass activityCapability 2 Process)	Hotel.kif 597-597	Il numero 2 argomento activityCapability è una sottoclasse diProcesso
(instance activityCapability BinaryPredicate)	Hotel.kif 591-591	activityCapability è un' istanza di PredicatoBinario

appearance as argument number 2

(format ChineseLanguage activityCapability "%1 can hold %2 的种类")	domainEnglishFormat.kif 2702-2702
(format ChineseTraditionalLanguage activityCapability "%1 can hold %2 的種類")	domainEnglishFormat.kif 2701-2701
(format EnglishLanguage activityCapability "%1 can hold kinds of %2")	domainEnglishFormat.kif 2700-2700
(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