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	Die Zahl 1 Argument von activityCapability ist ein fall von AutonomousAgent %n{nicht}
(domainSubclass activityCapability 2 Process)	Hotel.kif 597-597	Die Zahl 2 Argument von activityCapability ist eine teilkategorie von Process %n{nicht}
(instance activityCapability BinaryPredicate)	Hotel.kif 591-591	activityCapability ist ein fall von BinaryPredicate %n{nicht}

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