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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - capabilityDuring
capabilityDuring

appearance as argument number 1
-------------------------


(documentation capabilityDuring EnglishLanguage "(capabilityDuring ?PROCESS ?ROLE ?OBJ ?TIMEINT) means that ?OBJ has the ability to play the role of ?ROLE in the process ?PROCESS during the time indicated by ?TIMEINT") Dining.kif 870-872
(domain capabilityDuring 2 CaseRole) Dining.kif 875-875 The number 2 argument of capable during is an instance of case role
(domain capabilityDuring 3 Object) Dining.kif 876-876 The number 3 argument of capable during is an instance of object
(domainSubclass capabilityDuring 1 Process) Dining.kif 874-874 The number 1 argument of capable during is a subclass of process
(domainSubclass capabilityDuring 4 TimeInterval) Dining.kif 877-877 The number 4 argument of capable during is a subclass of time interval
(instance capabilityDuring QuaternaryPredicate) Dining.kif 869-869 capable during is an instance of quaternary predicate

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


(format EnglishLanguage capabilityDuring "%3 is capable of being a %2 in %1 during %4") domainEnglishFormat.kif 748-748
(termFormat EnglishLanguage capabilityDuring "capable during") Dining.kif 873-873 "capable during" is the printable form of capable during in english language

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


(=>
    (capabilityDuring ?PROCESS ?ROLE ?OBJ ?TIMEINT)
    (exists (?TIME)
        (and
            (instance ?TIME ?TIMEINT)
            (holdsDuring ?TIMEINT
                (capability ?PROCESS ?ROLE ?OBJ)))))
Dining.kif 879-885

consequent
-------------------------


(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Object)
        (instance ?PROCESSINSTANCE ?PROCESS)
        (subclass ?PROCESS Process)
        (instance ?OBJ ?CLASS)
        (patient ?PROCESSINSTANCE ?OBJ))
    (capabilityDuring ?PROCESS agent ?AGENT ?TIMEINT))
Catalog.kif 136-145
(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Process))
    (capabilityDuring ?CLASS agent ?AGENT ?TIMEINT))
Catalog.kif 129-134


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



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