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 866-868
(domain capabilityDuring 2 CaseRole) Dining.kif 871-871 domain capabilityDuring, 2 and CaseRole
(domain capabilityDuring 3 Object) Dining.kif 872-872 domain capabilityDuring, 3 and Object
(domainSubclass capabilityDuring 1 Process) Dining.kif 870-870 domainSubclass capabilityDuring, 1 and Process
(domainSubclass capabilityDuring 4 TimeInterval) Dining.kif 873-873 domainSubclass capabilityDuring, 4 and TimeInterval
(instance capabilityDuring QuaternaryPredicate) Dining.kif 865-865 instance capabilityDuring and QuaternaryPredicate

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


(format ChineseLanguage capabilityDuring "%3 是 capable 当成 %2 在 %1 在期间 %4 ") domainEnglishFormat.kif 2955-2955
(format ChineseTraditionalLanguage capabilityDuring "%3 是 capable 當成 %2 在 %1 在期間 %4 ") domainEnglishFormat.kif 2954-2954
(format EnglishLanguage capabilityDuring "%3 is capable of being a %2 in %1 during %4") domainEnglishFormat.kif 2953-2953
(termFormat EnglishLanguage capabilityDuring "capable during") Dining.kif 869-869

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


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

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