hasSkill |
appearance as argument number 1 |
(documentation hasSkill ChineseLanguage "这个是类似 capability Predicate 但有额外的限制, 就是这个能力是可以用某种可量度的程度实践/ 演示出来。") | chinese_format.kif 2101-2102 | |
(documentation hasSkill EnglishLanguage "Similar to the capability Predicate with the additional restriction that the ability be practised/ demonstrated to some measurable degree.") | Merge.kif 3983-3985 | |
(documentation hasSkill JapaneseLanguage "ある程度まで実践/実証される能力の追加の制限を伴った capability Predicateと同様である。") | japanese_format.kif 752-753 | |
(domain hasSkill 2 AutonomousAgent) | Merge.kif 3981-3981 | hasSkill の数値 2 引数は AutonomousAgent の instance では %n |
(domainSubclass hasSkill 1 Process) | Merge.kif 3980-3980 | hasSkill の数値 1 引数は 工程 のsubclass では %n |
(instance hasSkill AsymmetricRelation) | Merge.kif 3979-3979 | hasSkill は 非対称関係 の instance では %n |
(instance hasSkill BinaryPredicate) | Merge.kif 3978-3978 | hasSkill は 2進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage hasSkill "%2 %n hasSkill 去做 %1") | chinese_format.kif 119-119 | |
(format EnglishLanguage hasSkill "%2 %p{has} %n{does not have} the skill to do %1") | english_format.kif 119-120 | |
(format FrenchLanguage hasSkill "%2 a %n la capacit� de faire %1") | french_format.kif 81-81 | |
(format ItalianLanguage hasSkill "%2 ha &n la capacità di fare %1") | relations-it.txt 126-126 | |
(format JapaneseLanguage hasSkill "%2 は %1 をする skill が %n{ない}") | japanese_format.kif 1908-1908 | |
(format PortugueseLanguage hasSkill "%2 tem %n a capacidade de fazer %1") | portuguese_format.kif 33-33 | |
(format cz hasSkill "%2 has %n skill to do %1") | relations-cz.txt 122-122 | |
(format de hasSkill "%2 hat die F�higkeit, zum %1 zu tun %n{nicht}") | relations-de.txt 139-139 | |
(format hi hasSkill "%2 men %1 ko karane kii dakshataa %n hai") | relations-hindi.txt 166-166 | |
(format ro hasSkill "%2 %n{nu} are skill%t{calificarea} sã facã %1") | relations-ro.kif 100-100 | |
(format sv hasSkill "%2 har &n färdigheten att %1") | relations-sv.txt 80-80 | |
(format tg hasSkill "%2 &n may ang pagsanay sa %1") | relations-tg.txt 258-258 | |
(termFormat ChineseLanguage hasSkill "有技巧") | domainEnglishFormat.kif 27558-27558 | |
(termFormat ChineseLanguage hasSkill "有技能") | chinese_format.kif 120-120 | |
(termFormat ChineseTraditionalLanguage hasSkill "有技巧") | domainEnglishFormat.kif 27557-27557 | |
(termFormat EnglishLanguage hasSkill "has skill") | domainEnglishFormat.kif 27556-27556 | |
(termFormat de hasSkill "hatFaehigkeit") | terms-de.txt 41-41 | |
(termFormat tg hasSkill "may pagsanay") | relations-tg.txt 259-259 |
antecedent |
(=> (hasSkill ?PROC ?AGENT) (capability ?PROC agent ?AGENT)) |
Merge.kif 3987-3989 |
|
consequent |