Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  activityCapability

Sigma KEE - activityCapability
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 561-562
(domain activityCapability 1 Agent) Hotel.kif 565-565
(domainSubclass activityCapability 2 Process) Hotel.kif 566-566
(instance activityCapability BinaryPredicate) Hotel.kif 560-560

appearance as argument number 2
-------------------------


(format EnglishLanguage activityCapability "%1 can hold kinds of %2") domainEnglishFormat.kif 684-684
(termFormat EnglishLanguage activityCapability "activity capability") Hotel.kif 563-563

antecedent
-------------------------


(=>
    (activityCapability ?AGENT ?ACT)
    (exists (?LOC)
        (and
            (element ?LOC
                (PropertyFn ?AGENT))
            (capability ?ACT located ?LOC))))
Hotel.kif 568-573


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners