capabilityDuring - Sigma Knowledge base Browser

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	Die Zahl 2 Argument von capabilityDuring ist ein fall von CaseRole %n{nicht}
(domain capabilityDuring 3 Object)	Dining.kif 919-919	Die Zahl 3 Argument von capabilityDuring ist ein fall von Object %n{nicht}
(domainSubclass capabilityDuring 1 Process)	Dining.kif 917-917	Die Zahl 1 Argument von capabilityDuring ist eine teilkategorie von Process %n{nicht}
(domainSubclass capabilityDuring 4 TimeInterval)	Dining.kif 920-920	Die Zahl 4 Argument von capabilityDuring ist eine teilkategorie von TimeInterval %n{nicht}
(instance capabilityDuring QuaternaryPredicate)	Dining.kif 912-912	capabilityDuring ist ein fall von QuaternaryPredicate %n{nicht}

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

Wenn capabilityDuring ** Process, CaseRole, Object and ** TimeInterval,
dann es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und ** Object ist faehig %n{nicht}, in der Rolle ** CaseRole ** Process zu tun haelt waehrend ** TimePosition %n{nicht}

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	Wenn offersAtTime AutonomousAgent, Catalog and TimeInterval und catalogItem Entity and Catalog und Entity ist eine teilkategorie von Object und Process ist ein fall von Process %n{nicht} und Process ist eine teilkategorie von Process und Entity ist ein fall von Entity %n{nicht} und Entity ist ein patient von Process %n{nicht} und TimeInterval ist ein fall von TimeInterval %n{nicht} und TimeInterval ist eine teilkategorie von TimeInterval, dann capabilityDuring Process, agent, AutonomousAgent and ** TimeInterval
(=> (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	Wenn offersAtTime AutonomousAgent, Catalog and TimeInterval und catalogItem Entity and Catalog und Entity ist eine teilkategorie von Process und TimeInterval ist ein fall von TimeInterval %n{nicht} und TimeInterval ist eine teilkategorie von TimeInterval, dann capabilityDuring Entity, agent, AutonomousAgent and TimeInterval

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

KB Term:			Term intersection

English Word: