Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| capability |
| appearance as argument number 1 |
|
| s__instance(s__capability,s__TernaryPredicate)
|
Merge.kif 4003-4003 | capability is an instance of ternary predicate |
| s__domainSubclass(s__capability,n__1,s__Process)
|
Merge.kif 4004-4004 | The number 1 argument of capability is a subclass of process |
| s__domain(s__capability,n__2,s__CaseRole)
|
Merge.kif 4005-4005 | The number 2 argument of capability is an instance of case role |
| s__domain(s__capability,n__3,s__Object)
|
Merge.kif 4006-4006 | The number 3 argument of capability is an instance of object |
| s__documentation(s__capability, s__EnglishLanguage, "(capability ?PROCESS ?ROLE ?OBJ) means that ?OBJ has the ability to play the role of ?ROLE in Processes of type ?PROCESS_") | Merge.kif 4008-4010 | The number 3 argument of capability is an instance of object |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage, s__capability, "capability") | domainEnglishFormat.kif 13026-13026 | |
| s__termFormat(s__ChineseTraditionalLanguage, s__capability, "能力") | domainEnglishFormat.kif 13027-13027 | |
| s__termFormat(s__ChineseLanguage, s__capability, "能力") | domainEnglishFormat.kif 13028-13028 | |
| s__format(s__EnglishLanguage, s__capability, "%3 is %n capable of doing %1 as a %2") | english_format.kif 67-67 |
| antecedent |
|
|
| ! [V__OBJ : $i,V__PROCESS : $i,V__ROLE : $i] : (((s__capability(V__PROCESS, V__ROLE, V__OBJ) & s__instance(V__OBJ, s__Device) & ~(s__attribute(V__OBJ, s__DeviceDamaged))) => s__modalAttribute(( ? [V__P:$i] : ((s__instance(V__P, V__PROCESS) & s__?ROLE(V__P, V__OBJ)))), s__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 |
| ! [V__ANIMAL] : ((s__instance(V__ANIMAL,s__CorpuscularObject) => (s__capability(s__Breathing,s__experiencer,V__ANIMAL) => (? [V__LUNG] : ((s__component(V__LUNG,V__ANIMAL) & s__instance(V__LUNG,s__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 |
| ! [V__O : $i,V__PROCESS : $i,V__R : $i] : (((s__capability(V__PROCESS, V__R, V__O) & s__instance(V__O, s__Artifact) & ~(s__attribute(V__O, s__ArtifactNotFitForPurpose))) => s__modalAttribute(( ? [V__P:$i] : ((s__instance(V__P, V__PROCESS) & s__?R(V__P, V__O)))), s__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 |
| ! [V__P : $i] : (((s__attribute(V__P, s__Muslim) & s__capability(s__Hajj, s__agent, V__P)) => s__modalAttribute(( ? [V__H:$i] : ((s__instance(V__H, s__Hajj) & s__agent(V__H, V__P)))), s__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 |
| ! [V__POLITY,V__VOTINGAGE,V__ELECTION,V__AGENT] : (((s__instance(V__POLITY,s__AutonomousAgent) & s__instance(V__VOTINGAGE,s__RealNumber) & s__instance(V__ELECTION,s__Election) & s__instance(V__AGENT,s__Object)) => ((s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) & s__capability(s__VotingFn(V__ELECTION) ,s__agent,V__AGENT)) => (? [V__AGE] : ((s__instance(V__AGE,s__RealNumber) & (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)) & s__greaterThanOrEqualTo(V__AGE,V__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 |
| ! [V__POLITY,V__VOTINGAGE,V__ELECTION,V__AGENT,V__AGE] : (((s__instance(V__POLITY,s__AutonomousAgent) & s__instance(V__VOTINGAGE,s__RealNumber) & s__instance(V__ELECTION,s__Election) & s__instance(V__AGENT,s__Object) & s__instance(V__AGE,s__RealNumber)) => ((s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) & s__capability(s__VotingFn(V__ELECTION) ,s__agent,V__AGENT) & s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))) => s__greaterThanOrEqualTo(V__AGE,V__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 |
| ! [V__POLITY,V__VOTINGAGE,V__ELECTION,V__AGENT] : (((s__instance(V__POLITY,s__AutonomousAgent) & s__instance(V__VOTINGAGE,s__RealNumber) & s__instance(V__ELECTION,s__Election) & s__instance(V__AGENT,s__Object)) => ((s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) & s__capability(s__VotingFn(V__ELECTION) ,s__agent,V__AGENT)) => (? [V__AGE] : ((s__instance(V__AGE,s__RealNumber) & (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)) & s__lessThanOrEqualTo(V__AGE,V__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 |
| ! [V__POLITY,V__VOTINGAGE,V__ELECTION,V__AGENT,V__AGE] : (((s__instance(V__POLITY,s__AutonomousAgent) & s__instance(V__VOTINGAGE,s__RealNumber) & s__instance(V__ELECTION,s__Election) & s__instance(V__AGENT,s__Object) & s__instance(V__AGE,s__RealNumber)) => ((s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) & s__capability(s__VotingFn(V__ELECTION) ,s__agent,V__AGENT) & s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))) => s__lessThanOrEqualTo(V__AGE,V__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 |
| ! [V__POLITY,V__AGENT,V__ELECTION] : (((s__instance(V__POLITY,s__Nation) & s__instance(V__AGENT,s__Human) & s__instance(V__ELECTION,s__Election)) => ((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY)) & s__citizen(V__AGENT,V__POLITY) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) & s__capability(s__VotingFn(V__ELECTION) ,s__agent,V__AGENT)) => s__attribute(V__AGENT,s__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 |
| ! [V__X] : ((s__instance(V__X,s__AutonomousAgent) => (s__capability(s__ChildCareService,s__agent,V__X) => (? [V__SITTER] : ((s__instance(V__SITTER,s__CognitiveAgent) & (s__employs(V__X,V__SITTER) & s__capability(s__ChildCareService,s__serviceProvider,V__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 |
| ! [V__X] : ((s__instance(V__X,s__AutonomousAgent) => ((s__attribute(V__X,s__TravelerAccommodation) & s__capability(s__RoomCleaningService,s__agent,V__X)) => (? [V__MAID,V__HOTELROOM] : ((s__instance(V__MAID,s__CognitiveAgent) & (s__employs(V__X,V__MAID) & s__attribute(V__MAID,s__Maid) & s__instance(V__HOTELROOM,s__HotelUnit) & s__part(V__HOTELROOM,s__PropertyFn(V__X)) & s__capability(s__RoomCleaningService,s__patient,V__HOTELROOM) & s__capability(s__RoomCleaningService,s__serviceProvider,V__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 |
| ! [V__A1 : $i,V__A2 : $i,V__P : $i] : ((s__trusts(V__A1, V__A2, s__KappaFn(V__P, s__capability(V__P, s__agent, V__A2))) => s__knows(V__A1, s__capability(V__P, s__agent, V__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 |
| ! [V__MV,V__WC,V__COUNT,V__WEAPON,V__PC,V__ROLE] : (((s__instance(V__MV,s__MilitaryVehicle) & s__instance(V__WC,s__Class) & s__subclass(V__WC,s__Weapon) & s__instance(V__COUNT,s__PositiveInteger) & s__instance(V__WEAPON,s__Object) & s__instance(V__PC,s__Class) & s__subclass(V__PC,s__Process) & s__instance(V__ROLE,s__CaseRole)) => ((s__weaponCarryingCapability(V__MV,V__WC,V__COUNT) & s__instance(V__WEAPON,V__WC) & s__capability(V__PC,V__ROLE,V__WEAPON) & (s__subclass(V__PC,s__Shooting) | s__subclass(V__PC,s__Damaging))) => s__capability(V__PC,V__ROLE,V__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 |
| ! [V__PC,V__ROLE,V__MV] : (((s__instance(V__PC,s__Class) & s__subclass(V__PC,s__Process) & s__instance(V__ROLE,s__CaseRole) & s__instance(V__MV,s__Object)) => ((s__capability(V__PC,V__ROLE,V__MV) & s__subclass(V__PC,s__Shooting)) => (? [V__WEAPON] : ((s__instance(V__WEAPON,s__Weapon) & s__part(V__WEAPON,V__MV) & s__capability(V__PC,V__ROLE,V__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 |
| ! [V__AGENT] : ((s__instance(V__AGENT,s__Organization) => (s__capability(s__ValetParking,s__agent,V__AGENT) => (? [V__VALET] : ((s__instance(V__VALET,s__Human) & s__occupiesPosition(V__VALET,s__Valet,V__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 |
| ! [V__AGENT : $i,V__CUST : $i,V__D : $i,V__LOC : $i,V__VEHICLE : $i] : (((s__capability(s__ValetParking, s__agent, V__AGENT) & s__customer(V__CUST, V__AGENT) & s__located(V__AGENT, V__LOC) & s__instance(V__D, s__Arriving) & s__agent(V__D, V__CUST) & s__patient(V__D, V__VEHICLE) & s__destination(V__D, V__LOC)) => ( ? [V__VALET:$i] : ((s__occupiesPosition(V__VALET, s__Valet, V__AGENT) & s__modalAttribute(( ? [V__VP:$i, V__PARK:$i] : ((s__instance(V__VP, s__ValetParking) & s__agent(V__VP, V__VALET) & s__patient(V__VP, V__VEHICLE) & s__destination(V__VP, V__PARK) & s__instance(V__PARK, s__ParkingRegion)))), s__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 |
| ! [V__TYPE,V__EVENT,V__REGION,V__ROLE,V__OBJECT] : (((s__instance(V__TYPE,s__Class) & s__subclass(V__TYPE,s__Process) & s__instance(V__EVENT,s__Process)) => ((s__subclass(V__TYPE,s__Translocation) & s__instance(V__EVENT,V__TYPE) & s__eventLocated(V__EVENT,V__REGION) & s__instance(V__ROLE,s__CaseRole) & s__instance(V__OBJECT,s__Object) & s__instance(V__REGION,s__GeographicArea) & s__capability(V__TYPE,V__ROLE,V__OBJECT)) => s__capableAtLocation(V__TYPE,V__ROLE,V__OBJECT,V__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 |
| ! [V__PORT] : (((s__instance(V__PORT,s__PortFacility) & s__capability(s__ShipBerthing,s__patient,V__PORT)) => (? [V__HARBOR] : ((s__instance(V__HARBOR,s__Harbor) & s__connected(V__HARBOR,V__PORT) & s__capability(s__ShipBerthing,s__path,V__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 |
| ! [V__VISITOR,V__COLL,V__PROC] : (((s__instance(V__VISITOR,s__Human) & s__instance(V__COLL,s__Collection) & (! [V__EXPERIMENT,V__EVENT] : (((? [V__CLASS] : ((s__instance(V__CLASS,s__Class) & s__subclass(V__CLASS,s__Process) & (s__instance(V__EXPERIMENT,s__Experimenting) & s__instance(V__EVENT,s__Process) & s__member(V__EVENT,s__QualifyingEventsFn(V__EXPERIMENT)) & s__instance(V__EVENT,V__CLASS) & s__capability(V__CLASS,s__experiencer,V__VISITOR))))) => s__member(V__EVENT,V__COLL)))) & (s__member(V__PROC,V__COLL) => (s__instance(V__PROC,s__Process) & (? [V__EXP,V__PROCESS] : ((s__instance(V__PROCESS,s__Class) & s__subclass(V__PROCESS,s__Process) & (s__instance(V__EXP,s__Experimenting) & s__member(V__PROC,s__QualifyingEventsFn(V__EXP)) & s__instance(V__PROC,V__PROCESS) & s__capability(V__PROCESS,s__experiencer,V__VISITOR)))))))) => (s__QualifiedTreatmentsFn(V__VISITOR) = V__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 |
| ! [V__TESTCOL1,V__TESTCOL2,V__EXPERIMENT1,V__CLASS1,V__SUBJECT] : (((s__instance(V__TESTCOL1,s__Collection) & s__instance(V__TESTCOL2,s__Collection) & s__instance(V__EXPERIMENT1,s__Physical) & s__instance(V__CLASS1,s__Class) & s__subclass(V__CLASS1,s__Process)) => ((s__orthogonalTests(V__TESTCOL1,V__TESTCOL2) & s__instance(V__SUBJECT,s__Human) & s__instance(V__EXPERIMENT1,V__CLASS1) & s__subclass(V__CLASS1,s__Experimenting) & s__member(V__EXPERIMENT1,V__TESTCOL1) & s__capability(V__CLASS1,s__experimentalSubject,V__SUBJECT)) => (? [V__EXPERIMENT2,V__CLASS2] : ((s__instance(V__EXPERIMENT2,s__Physical) & s__instance(V__CLASS2,s__Class) & s__subclass(V__CLASS2,s__Process) & (s__instance(V__EXPERIMENT2,V__CLASS2) & s__member(V__EXPERIMENT2,V__TESTCOL2) & s__subclass(V__CLASS2,s__Experimenting) & s__capability(V__CLASS2,s__experimentalSubject,V__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 |
| consequent |
|
|
|