capability |
appearance as argument number 1 |
(documentation capability ChineseLanguage "(capability ?PROCESS ?ROLE ?OBJ) 的意思是 ?OBJ 由能力在 ?PROCESS 类型的 Process 担任 ?ROLE 的本分。") | chinese_format.kif 2086-2087 | |
(documentation capability EnglishLanguage "(capability ?PROCESS ?ROLE ?OBJ) means that ?OBJ has the ability to play the role of ?ROLE in Processes of type ?PROCESS.") | Merge.kif 3907-3909 | |
(documentation capability JapaneseLanguage "(capability ?PROCESS ?ROLE ?OBJ) とは、?OBJ が、タイプ ?PROCESS の Processes で ?ROLE の役割を果たす能力を持っている、という意味である。") | japanese_format.kif 734-735 | |
(domain capability 2 CaseRole) | Merge.kif 3904-3904 | 域 能力, 2 and CaseRole |
(domain capability 3 Object) | Merge.kif 3905-3905 | 域 能力, 3 and Object |
(domainSubclass capability 1 Process) | Merge.kif 3903-3903 | 域子類 能力, 1 and Process |
(instance capability TernaryPredicate) | Merge.kif 3902-3902 | 例 能力 and TernaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage capability "%3 %n 能够担当 %2 的角色做 %1") | chinese_format.kif 67-67 | |
(format EnglishLanguage capability "%3 is %n capable of doing %1 as a %2") | english_format.kif 67-67 | |
(format FrenchLanguage capability "%3 est %n capable de faire %1 dans le r�le %2") | french_format.kif 59-59 | |
(format ItalianLanguage capability "%3 è %n capace di fare %1 nel ruolo %2") | relations-it.txt 40-40 | |
(format JapaneseLanguage capability "%3 は %1 を %2 として行う capable では %n") | japanese_format.kif 1882-1882 | |
(format PortugueseLanguage capability "%3 e' %n capaz de fazer %1 no role %2") | portuguese_format.kif 11-11 | |
(format cb capability "%n kaya %1 himuon %2") | relations-cb.txt 74-74 | |
(format cz capability "%3 %p{je} %n{nen�} capable to do %1 in role %2") | relations-cz.txt 118-118 | |
(format de capability "%3 ist faehig %n{nicht}, in der Rolle %2 %1 zu tun") | relations-de.txt 74-74 | |
(format hi capability "%3 %1 ko %2 kii bhuumikaa men karane ke lie sakshama %n hai") | relations-hindi.txt 82-82 | |
(format ro capability "%3 %n{nu} este capable%t{capabil} sã facã %1 în rolul de %2") | relations-ro.kif 78-78 | |
(format sv capability "%3 är %n{inte} kapabel till att %1 rollen %2") | relations-sv.txt 58-58 | |
(format tg capability "%n kaya %1 gawin %2") | relations-tg.txt 96-96 | |
(termFormat ChineseLanguage capability "能力") | domainEnglishFormat.kif 13036-13036 | |
(termFormat ChineseLanguage capability "能够") | chinese_format.kif 68-68 | |
(termFormat ChineseTraditionalLanguage capability "能力") | domainEnglishFormat.kif 13035-13035 | |
(termFormat EnglishLanguage capability "capability") | domainEnglishFormat.kif 13034-13034 | |
(termFormat de capability "faehigkeit") | terms-de.txt 19-19 | |
(termFormat tg capability "may katako") | relations-tg.txt 97-97 |
antecedent |
consequent |
statement |
(containsInformation (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw) |
Government.kif 1056-1067 | 包含信息 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
|