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 3833-3835 | |
(domain capability 2 CaseRole) | Merge.kif 3830-3830 | 能够 的 2 数量 是 格角色 的 instance |
(domain capability 3 Object) | Merge.kif 3831-3831 | 能够 的 3 数量 是 客体 的 instance |
(domainSubclass capability 1 Process) | Merge.kif 3829-3829 | 能够 的 1 数量 是 过程 的 subclass |
(instance capability TernaryPredicate) | Merge.kif 3828-3828 | 能够 是 三元谓语 的 instance |
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 13023-13023 | |
(termFormat ChineseLanguage capability "能够") | chinese_format.kif 68-68 | |
(termFormat ChineseTraditionalLanguage capability "能力") | domainEnglishFormat.kif 13022-13022 | |
(termFormat EnglishLanguage capability "capability") | domainEnglishFormat.kif 13021-13021 |
antecedent |
![]() |
(=> (and (attribute ?P Muslim) (capability Hajj agent ?P)) (modalAttribute (exists (?H) (and (instance ?H Hajj) (agent ?H ?P))) Obligation)) |
ArabicCulture.kif 125-134 | |
(=> (and (attribute ?X TravelerAccommodation) (capability RoomCleaningService agent ?X)) (exists (?MAID ?HOTELROOM) (and (employs ?X ?MAID) (attribute ?MAID Maid) (instance ?HOTELROOM HotelUnit) (part ?HOTELROOM (PropertyFn ?X)) (capability RoomCleaningService patient ?HOTELROOM) (capability RoomCleaningService serviceProvider ?MAID)))) |
Hotel.kif 1935-1946 | |
(=> (and (capability ?PC ?ROLE ?MV) (subclass ?PC Shooting)) (exists (?WEAPON) (and (instance ?WEAPON Weapon) (part ?WEAPON ?MV) (capability ?PC ?ROLE ?WEAPON)))) |
MilitaryDevices.kif 48-56 | |
(=> (and (capability ValetParking agent ?AGENT) (customer ?CUST ?AGENT) (located ?AGENT ?LOC) (instance ?D Arriving) (agent ?D ?CUST) (patient ?D ?VEHICLE) (destination ?D ?LOC)) (and (occupiesPosition ?VALET Valet ?AGENT) (modalAttribute (exists (?VP) (and (instance ?VP ValetParking) (agent ?VP ?VALET) (patient ?VP ?VEHICLE) (destination ?VP ?PARK) (instance ?PARK ParkingRegion))) Possibility))) |
TransportDetail.kif 153-171 |
|
(=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR)))) |
Transportation.kif 2948-2956 | |
(=> (and (instance ?VISITOR Human) (instance ?COLL Collection) (forall (?EXPERIMENTING ?EVENT) (=> (and (instance ?EXPERIMENTING Experimenting) (instance ?EVENT Process) (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (capability ?EVENT experiencer ?VISITOR)) (member ?EVENT ?COLL))) (=> (member ?PROC ?COLL) (and (instance ?PROC Process) (exists (?EXP) (and (instance ?EXP Experimenting) (member ?PROC (QualifyingEventsFn ?EXP)) (capability ?PROC experiencer ?VISITOR)))))) (equal (QualifiedTreatmentsFn ?VISITOR) ?COLL)) |
UXExperimentalTerms.kif 4450-4473 | |
(=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (instance ?SUBJECT Human) (instance ?EXPERIMENT1 Experimenting) (member ?EXPERIMENT1 ?TESTCOL1) (capability ?EXPERIMENT1 experimentalSubject ?SUBJECT)) (exists (?EXPERIMENT2) (and (instance ?EXPERIMENT2 Experimenting) (member ?EXPERIMENT2 ?TESTCOL2) (capability ?EXPERIMENT2 experimentalSubject ?SUBJECT)))) |
UXExperimentalTerms.kif 4672-4683 | |
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1247-1253 | |
(=> (and (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT) (age ?AGENT (MeasureFn ?AGE YearDuration))) (lessThanOrEqualTo ?AGE ?VOTINGAGE)) |
Government.kif 1049-1057 | |
(=> (and (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (lessThanOrEqualTo ?AGE ?VOTINGAGE)))) |
Government.kif 1037-1047 | |
(=> (and (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT) (age ?AGENT (MeasureFn ?AGE YearDuration))) (greaterThanOrEqualTo ?AGE ?VOTINGAGE)) |
Government.kif 977-985 | |
(=> (and (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE)))) |
Government.kif 965-975 | |
(=> (and (weaponCarryingCapability ?MV ?WC ?COUNT) (instance ?WEAPON ?WC) (capability ?PC ?ROLE ?WEAPON) (or (subclass ?PC Shooting) (subclass ?PC Damaging))) (capability ?PC ?ROLE ?MV)) |
MilitaryDevices.kif 35-43 | |
(=> (capability ?PROCESS ?ROLE ?OBJ) (modalAttribute (exists (?P) (and (instance ?P ?PROCESS) (?ROLE ?P ?OBJ))) Possibility)) |
Merge.kif 3845-3851 | |
(=> (capability Breathing experiencer ?ANIMAL) (exists (?LUNG) (and (component ?LUNG ?ANIMAL) (instance ?LUNG Lung)))) |
Mid-level-ontology.kif 10746-10751 |
|
(=> (capability ChildCareService agent ?X) (exists (?SITTER) (and (employs ?X ?SITTER) (capability ChildCareService serviceProvider ?SITTER)))) |
Hotel.kif 1883-1888 |
|
(=> (capability ValetParking agent ?AGENT) (exists (?VALET) (occupiesPosition ?VALET Valet ?AGENT))) |
TransportDetail.kif 148-151 | |
(=> (trusts ?A1 ?A2 (capability ?P agent ?A2)) (knows ?A1 (capability ?P agent ?A2))) |
Law.kif 427-431 |
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 1089-1100 | 对所有 ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE
|
![]() |
![]() |