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 3883-3885 | |
(domain capability 2 CaseRole) | Merge.kif 3880-3880 | The number 2 argument of capability is an instance of case role |
(domain capability 3 Object) | Merge.kif 3881-3881 | The number 3 argument of capability is an instance of object |
(domainSubclass capability 1 Process) | Merge.kif 3879-3879 | The number 1 argument of capability is a subclass of process |
(instance capability TernaryPredicate) | Merge.kif 3878-3878 | capability is an instance of ternary predicate |
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 13018-13018 | |
(termFormat ChineseLanguage capability "能够") | chinese_format.kif 68-68 | |
(termFormat ChineseTraditionalLanguage capability "能力") | domainEnglishFormat.kif 13017-13017 | |
(termFormat EnglishLanguage capability "capability") | domainEnglishFormat.kif 13016-13016 |
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 1092-1103 | For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
|
![]() |
![]() |