(=>
(and
(capability ?PROCESS ?ROLE ?OBJ)
(instance ?OBJ Device)
(not
(attribute ?OBJ DeviceDamaged)))
(modalAttribute
(exists (?P)
(and
(instance ?P ?PROCESS)
(?ROLE ?P ?OBJ))) Possibility)) |
Merge.kif 4020-4030 |
If X is capable of doing Y as a Z, X is an instance of device, and device damaged is not an attribute of X, then the statement there exists W such that W is an instance of Y, Z W, and X has the modal force of possibility |
(=>
(capability Breathing experiencer ?ANIMAL)
(exists (?LUNG)
(and
(component ?LUNG ?ANIMAL)
(instance ?LUNG Lung)))) |
Mid-level-ontology.kif 12681-12686 |
If X is capable of doing breathing as a experiencer, then there exists Y such that Y is a component of X and Y is an instance of lung |
(=>
(and
(capability ?PROCESS ?R ?O)
(instance ?O Artifact)
(not
(attribute ?O ArtifactNotFitForPurpose)))
(modalAttribute
(exists (?P)
(and
(instance ?P ?PROCESS)
(?R ?P ?O))) Possiblity)) |
Mid-level-ontology.kif 19124-19134 |
If X is capable of doing Y as a Z, X is an instance of artifact, and artifact not fit for purpose is not an attribute of X, then the statement there exists W such that W is an instance of Y, Z W, and X has the modal force of Possiblity |
(=>
(and
(attribute ?P Muslim)
(capability Hajj agent ?P))
(modalAttribute
(exists (?H)
(and
(instance ?H Hajj)
(agent ?H ?P))) Obligation)) |
ArabicCulture.kif 134-143 |
If muslim is an attribute of X and X is capable of doing hajj as a agent, then the statement there exists Y such that Y is an instance of hajj and X is an agent of Y has the modal force of obligation |
(=>
(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 939-949 |
If X year duration(s) is a suffrage age minimum of Y, Z is an instance of the election of Y, and W is capable of doing the voting of Z as a agent, then there exists V such that the age of W is V year duration(s) and V is greater than or equal to X |
(=>
(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 951-959 |
If X year duration(s) is a suffrage age minimum of Y, Z is an instance of the election of Y, W is capable of doing the voting of Z as a agent, and the age of W is V year duration(s), then V is greater than or equal to X |
(=>
(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 1011-1021 |
If X year duration(s) is a suffrage age maximum of Y, Z is an instance of the election of Y, and W is capable of doing the voting of Z as a agent, then there exists V such that the age of W is V year duration(s) and V is less than or equal to X |
(=>
(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 1023-1031 |
If X year duration(s) is a suffrage age maximum of Y, Z is an instance of the election of Y, W is capable of doing the voting of Z as a agent, and the age of W is V year duration(s), then V is less than or equal to X |
(=>
(and
(subProposition ExclusiveMaleSuffrage
(RegionalLawFn ?POLITY))
(citizen ?AGENT ?POLITY)
(instance ?ELECTION
(ElectionFn ?POLITY))
(capability
(VotingFn ?ELECTION) agent ?AGENT))
(attribute ?AGENT Male)) |
Government.kif 1221-1227 |
If exclusive male suffrage is a sub-proposition of the regional law of X, Y is a citizen of X, Z is an instance of the election of X, and Y is capable of doing the voting of Z as a agent, then male is an attribute of Y |
(=>
(capability ChildCareService agent ?X)
(exists (?SITTER)
(and
(employs ?X ?SITTER)
(capability ChildCareService serviceProvider ?SITTER)))) |
Hotel.kif 1900-1905 |
If X is capable of doing child-care service as a agent, then there exists Y such that X employs Y and Y is capable of doing child-care service as a service provider |
(=>
(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 1953-1964 |
If traveler accommodation is an attribute of X and X is capable of doing service as a agent, then All of the following hold: (1) there exist Y (2) Z such that X employs Y (3) maid is an attribute of Y (4) Z is an instance of hotel unit (5) Z is a part of belongings of X (6) Z is capable of doing service as a patient (7) Y is capable of doing service as a service provider |
(=>
(trusts ?A1 ?A2
(KappaFn ?P
(capability ?P agent ?A2)))
(knows ?A1
(capability ?P agent ?A2))) |
Law.kif 365-370 |
If X trusts Y will do the class described by Z, then X knows Y is capable of doing Z as a agent |
(=>
(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 |
If X can carry Y weapons of type Z., W is an instance of Z, W is capable of doing V as a U, and V is a subclass of shooting or V is a subclass of damaging, then X is capable of doing V as a U |
(=>
(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 |
If X is capable of doing Y as a Z and Y is a subclass of shooting, then there exists W such that W is an instance of weapon, W is a part of X, and W is capable of doing Y as a Z |
(=>
(capability ValetParking agent ?AGENT)
(exists (?VALET)
(occupiesPosition ?VALET Valet ?AGENT))) |
TransportDetail.kif 152-155 |
If X is capable of doing valet parking as a agent, then there exists Y such that Y holds the position of valet in X |
(=>
(and
(capability ValetParking agent ?AGENT)
(customer ?CUST ?AGENT)
(located ?AGENT ?LOC)
(instance ?D Arriving)
(agent ?D ?CUST)
(patient ?D ?VEHICLE)
(destination ?D ?LOC))
(exists (?VALET)
(and
(occupiesPosition ?VALET Valet ?AGENT)
(modalAttribute
(exists (?VP ?PARK)
(and
(instance ?VP ValetParking)
(agent ?VP ?VALET)
(patient ?VP ?VEHICLE)
(destination ?VP ?PARK)
(instance ?PARK ParkingRegion))) Possibility)))) |
TransportDetail.kif 157-176 |
If All of the following hold: (1) X is capable of doing valet parking as a agent (2) X is a customer of Y (3) X is located at Z (4) W is an instance of arriving (5) Y is an agent of W (6) V is a patient of W (7) W ends up at Z, then All of the following hold: (1) there exists U such that U holds the position of valet in X (2) the statement there exist T (3) S such that T is an instance of valet parking (4) U is an agent of T (5) V is a patient of T (6) T ends up at S (7) S is an instance of parking area has the modal force of possibility |
(=>
(and
(subclass ?TYPE Translocation)
(instance ?EVENT ?TYPE)
(eventLocated ?EVENT ?REGION)
(instance ?ROLE CaseRole)
(instance ?OBJECT Object)
(instance ?REGION GeographicArea)
(capability ?TYPE ?ROLE ?OBJECT))
(capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION)) |
Transportation.kif 3766-3775 |
If All of the following hold: (1) X is a subclass of translocation (2) Y is an instance of X (3) Y is located at Z (4) W is an instance of case role (5) V is an instance of object (6) Z is an instance of geographic area (7) V is capable of doing X as a W, then X capable at location W for V with Z |
(=>
(and
(instance ?PORT PortFacility)
(capability ShipBerthing patient ?PORT))
(exists (?HARBOR)
(and
(instance ?HARBOR Harbor)
(connected ?HARBOR ?PORT)
(capability ShipBerthing path ?HARBOR)))) |
Transportation.kif 4327-4335 |
If X is an instance of port facility and X is capable of doing ship berthing as a patient, then there exists Y such that Y is an instance of harbor, Y is connected to X, and Y is capable of doing ship berthing as a path |
(=>
(and
(instance ?VISITOR Human)
(instance ?COLL Collection)
(forall (?EXPERIMENT ?EVENT)
(=>
(exists (?CLASS)
(and
(instance ?EXPERIMENT Experimenting)
(instance ?EVENT Process)
(member ?EVENT
(QualifyingEventsFn ?EXPERIMENT))
(instance ?EVENT ?CLASS)
(capability ?CLASS experiencer ?VISITOR)))
(member ?EVENT ?COLL)))
(=>
(member ?PROC ?COLL)
(and
(instance ?PROC Process)
(exists (?EXP ?PROCESS)
(and
(instance ?EXP Experimenting)
(member ?PROC
(QualifyingEventsFn ?EXP))
(instance ?PROC ?PROCESS)
(capability ?PROCESS experiencer ?VISITOR))))))
(equal
(QualifiedTreatmentsFn ?VISITOR) ?COLL)) |
UXExperimentalTerms.kif 4238-4264 |
If X is an instance of human, Y is an instance of collection, For all Experimenting Z and Physical W: if there exists V such that Z is an instance of experimenting, W is an instance of process, W is a member of events in Z, W is an instance of V, and X is capable of doing V as a experiencer, then W is a member of Y, and if U is a member of Y, then U is an instance of process and there exist T, S such that T is an instance of experimenting, U is a member of events in T, U is an instance of S, and X is capable of doing S as a experiencer, then equal all the processes X is qualified for and Y |
(=>
(and
(orthogonalTests ?TESTCOL1 ?TESTCOL2)
(instance ?SUBJECT Human)
(instance ?EXPERIMENT1 ?CLASS1)
(subclass ?CLASS1 Experimenting)
(member ?EXPERIMENT1 ?TESTCOL1)
(capability ?CLASS1 experimentalSubject ?SUBJECT))
(exists (?EXPERIMENT2 ?CLASS2)
(and
(instance ?EXPERIMENT2 ?CLASS2)
(member ?EXPERIMENT2 ?TESTCOL2)
(subclass ?CLASS2 Experimenting)
(capability ?CLASS2 experimentalSubject ?SUBJECT)))) |
UXExperimentalTerms.kif 4464-4477 |
If All of the following hold: (1) X and Y are orthogonal tests (2) Z is an instance of human (3) W is an instance of V (4) V is a subclass of experimenting (5) W is a member of X (6) Z is capable of doing V as a experimental subject, then there exist U, T such that U is an instance of T, U is a member of Y, T is a subclass of experimenting, and Z is capable of doing T as a experimental subject |
