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 | The number 2 argument of capable during is an instance of case role |
(domain capabilityDuring 3 Object) | Dining.kif 919-919 | The number 3 argument of capable during is an instance of object |
(domainSubclass capabilityDuring 1 Process) | Dining.kif 917-917 | The number 1 argument of capable during is a subclass of process |
(domainSubclass capabilityDuring 4 TimeInterval) | Dining.kif 920-920 | The number 4 argument of capable during is a subclass of time interval |
(instance capabilityDuring QuaternaryPredicate) | Dining.kif 912-912 | capable during is an instance of quaternary predicate |
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 |