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 3774-3776 | |
(domain capability 2 CaseRole) | Merge.kif 3771-3771 | domain capability, 2 and CaseRole |
(domain capability 3 Object) | Merge.kif 3772-3772 | domain capability, 3 and Object |
(domainSubclass capability 1 Process) | Merge.kif 3770-3770 | domainSubclass capability, 1 and Process |
(instance capability TernaryPredicate) | Merge.kif 3769-3769 | instance capability 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 | |
(termFormat ChineseLanguage capability "能力") | domainEnglishFormat.kif 13030-13030 | |
(termFormat ChineseLanguage capability "能够") | chinese_format.kif 68-68 | |
(termFormat ChineseTraditionalLanguage capability "能力") | domainEnglishFormat.kif 13029-13029 | |
(termFormat EnglishLanguage capability "capability") | domainEnglishFormat.kif 13028-13028 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(containsInformation (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw) |
Government.kif 1062-1071 | containsInformation ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
|
![]() |
![]() |