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 では %n |
(domain capabilityDuring 3 Object) | Dining.kif 919-919 | capabilityDuring の数値 3 引数は オブジェクト の instance では %n |
(domainSubclass capabilityDuring 1 Process) | Dining.kif 917-917 | capabilityDuring の数値 1 引数は 工程 のsubclass では %n |
(domainSubclass capabilityDuring 4 TimeInterval) | Dining.kif 920-920 | capabilityDuring の数値 4 引数は 時間間隔 のsubclass では %n |
(instance capabilityDuring QuaternaryPredicate) | Dining.kif 912-912 | capabilityDuring は 4進述語 の instance では %n |
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 |