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

Formal Language: 



KB Term:  Term intersection
English Word: 

  capabilityDuring

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 913-915
(domain capabilityDuring 2 CaseRole) Dining.kif 918-918 capabilityDuring 的 2 数量 是 格角色instance
(domain capabilityDuring 3 Object) Dining.kif 919-919 capabilityDuring 的 3 数量 是 客体instance
(domainSubclass capabilityDuring 1 Process) Dining.kif 917-917 capabilityDuring 的 1 数量 是 过程subclass
(domainSubclass capabilityDuring 4 TimeInterval) Dining.kif 920-920 capabilityDuring 的 4 数量 是 时距subclass
(instance capabilityDuring QuaternaryPredicate) Dining.kif 912-912 capabilityDuring四元谓语instance

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


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

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


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

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


(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Object)
        (instance ?PROCESSINSTANCE ?PROCESS)
        (subclass ?PROCESS Process)
        (instance ?OBJ ?CLASS)
        (patient ?PROCESSINSTANCE ?OBJ)
        (instance ?TIMEINT ?TIME)
        (subclass ?TIME TimeInterval))
    (capabilityDuring ?PROCESS agent ?AGENT ?TIME))
Catalog.kif 139-150
(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Process)
        (instance ?TIMEINT ?TIME)
        (subclass ?TIME TimeInterval))
    (capabilityDuring ?CLASS agent ?AGENT ?TIME))
Catalog.kif 130-137


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 3.0 is open source software produced by Articulate Software and its partners