Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| uses |
| appearance as argument number 1 |
|
| (instance uses BinaryPredicate) | Merge.kif 4779-4779 | uses is an instance of binary predicate |
| (domain uses 1 Object) | Merge.kif 4780-4780 | The number 1 argument of uses is an instance of object |
| (domain uses 2 AutonomousAgent) | Merge.kif 4781-4781 | The number 2 argument of uses is an instance of agent |
| (documentation uses EnglishLanguage "(uses ?OBJECT AGENT) means that ?OBJECT is used by ?AGENT as an instrument in an unspecified Process. This Predicate, as its corresponding axiom indicates, is a composition of the CaseRoles agent and instrument.") | Merge.kif 4783-4786 | The number 2 argument of uses is an instance of agent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage uses "uses") | domainEnglishFormat.kif 60845-60845 | |
| (termFormat ChineseTraditionalLanguage uses "使用") | domainEnglishFormat.kif 60846-60846 | |
| (termFormat ChineseLanguage uses "使用") | domainEnglishFormat.kif 60847-60847 | |
| (format EnglishLanguage uses "%2 %n{doesn't} use%p{s} %1") | english_format.kif 248-248 |
| antecedent |
|
|
| (=> (uses ?OBJ ?AGENT) (exists (?PROC) (and (agent ?PROC ?AGENT) (instrument ?PROC ?OBJ)))) |
Merge.kif 4788-4793 | If X uses Y, then there exists Z such that X is an agent of Z and Y is an instrument for Z |
| (=> (and (instance ?KL KnockLight) (instance ?A Human) (attribute ?A Deaf) (uses ?KL ?A)) (hasPurpose ?KL (exists (?KNOCK ?DOOR) (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (instance ?DOOR Door) (knows ?A (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (instance ?DOOR Door))))))) |
Mid-level-ontology.kif 28408-28424 | If X is an instance of knock light, Y is an instance of human, deafness is an attribute of Y, and Y uses X, then All of the following hold: (1) X has the purpose there exist Z (2) W such that Z is an instance of impacting (3) W is a patient of Z (4) W is an instance of door (5) Y knows Z is an instance of impacting (6) W is a patient of Z (7) W is an instance of door |
| (=> (and (freePropertyAmenity ?AGENT ?PHYS) (instance ?X ?PHYS) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT)) |
Hotel.kif 548-563 | If use of X is free for Y, Z is an instance of X, Y is a customer of W, and Z is an instance of process and W is an agent of Z or W experiences Z or Y possesses Z, Z is an instance of object, and W uses Z, then Z is price 0 united states dollar(s) for Y |
| (=> (and (paidPropertyAmenity ?AGENT ?PHYS) (instance ?X ?PHYS) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (exists (?PRICE ?U) (and (price ?X (MeasureFn ?PRICE ?U) ?AGENT) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0)))) |
Hotel.kif 573-593 | If renters of X can pay to use Y, Z is an instance of Y, X is a customer of W, and Z is an instance of process and W is an agent of Z or W experiences Z or X possesses Z, Z is an instance of object, and W uses Z, then there exist V and U such that Z is price V U(s) for X and U is an instance of unit of currency and V is greater than 0 |
| (=> (and (freeFunctionRoomAmenity ?FR ?PHYS) (instance ?RM ?FR) (element ?RM (PropertyFn ?AGENT)) (instance ?R Renting) (patient ?R ?RM) (destination ?R ?CUST) (instance ?X ?PHYS) (possesses ?AGENT ?X) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT)) |
Hotel.kif 847-868 | If All of the following hold: (1) X is free for customers renting Y (2) Z is an instance of Y (3) Z is an element of belongings of W (4) V is an instance of renting (5) Z is a patient of V (6) V ends up at U (7) T is an instance of X (8) W possesses T (9) W is a customer of U (10) T is an instance of process and U is an agent of T or U experiences T or W possesses T, T is an instance of object, and U uses T, then T is price 0 united states dollar(s) for W |
| (=> (and (paidFunctionRoomAmenity ?FR ?PHYS) (instance ?RM ?FR) (element ?RM (PropertyFn ?AGENT)) (instance ?R Renting) (patient ?R ?RM) (destination ?R ?CUST) (instance ?X ?PHYS) (possesses ?AGENT ?X) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (exists (?PRICE ?U) (and (price ?X (MeasureFn ?PRICE ?U) ?AGENT) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0)))) |
Hotel.kif 879-905 | If All of the following hold: (1) renters of X can pay to use Y (2) Z is an instance of X (3) Z is an element of belongings of W (4) V is an instance of renting (5) Z is a patient of V (6) V ends up at U (7) T is an instance of Y (8) W possesses T (9) W is a customer of U (10) T is an instance of process and U is an agent of T or U experiences T or W possesses T, T is an instance of object, and U uses T, then there exist S and R such that T is price S R(s) for W and R is an instance of unit of currency and S is greater than 0 |
| (=> (and (instance ?R ANSPY6) (possesses ?N ?R) (uses ?R ?N)) (and (instance ?N NavyBranchOfService) (subOrganization ?N USMilitary))) |
Transportation.kif 5377-5384 | If X is an instance of An/SPY-6, Y possesses X, and Y uses X, then Y is an instance of navy branch of service and Y is a part of the organization US military |
| consequent |
|
|
| (=> (possesses ?PERSON ?OBJ) (modalAttribute (uses ?OBJ ?PERSON) Permission)) |
Merge.kif 4367-4369 | If X possesses Y, then the statement X uses Y has the modal force of permission |
| (=> (dateUsed ?OBJECT ?DATE ?AGENT) (exists (?PROCESS) (and (instance ?PROCESS Process) (patient ?PROCESS ?OBJECT) (agent ?PROCESS ?AGENT) (uses ?OBJECT ?AGENT) (overlapsTemporally ?DATE (WhenFn ?PROCESS))))) |
Mid-level-ontology.kif 988-996 | If X is used by Y at Z, then there exists W such that W is an instance of process, X is a patient of W, Y is an agent of W, Y uses X, and the time of existence of W overlaps Z |
| (=> (instance ?A MilitaryArtifact) (hasPurpose ?A (exists (?O) (and (instance ?O MilitaryOrganization) (uses ?A ?O))))) |
Mid-level-ontology.kif 19753-19759 | If X is an instance of military artifact, then X has the purpose there exists Y such that Y is an instance of military organization and Y uses X |
| (=> (and (instance ?R Renting) (agent ?R ?A) (patient ?R ?O)) (holdsDuring (WhenFn ?R) (modalAttribute (uses ?O ?A) Permission))) |
Mid-level-ontology.kif 24703-24710 | If X is an instance of renting, Y is an agent of X, and Z is a patient of X, then the statement Y uses Z has the modal force of permission holds during the time of existence of X |
| (=> (and (facility ?AGENT ?OBJ) (customer ?CUST ?AGENT) (instance ?X ?OBJ) (desires ?CUST (exists (?PROC) (and (instance ?PROC IntentionalProcess) (patient ?PROC ?X) (agent ?PROC ?CUST))))) (modalAttribute (confersRight ?AGENT ?CUST (uses ?X ?CUST)) Possibility)) |
Dining.kif 336-350 | If X provides Y, X is a customer of Z, W is an instance of Y, and Z desires there exists V such that V is an instance of intentional process, W is a patient of V, and Z is an agent of V, then the statement Z allows Z uses W to perform task of the type X has the modal force of possibility |
| (=> (instance ?V MilitaryVehicle) (hasPurpose ?V (exists (?O) (and (instance ?O MilitaryOrganization) (uses ?V ?O))))) |
Military.kif 149-155 | If X is an instance of military vehicle, then X has the purpose there exists Y such that Y is an instance of military organization and Y uses X |
| (=> (instance ?M MilitaryWaterVehicle) (exists (?O) (and (uses ?M ?O) (instance ?O MilitaryOrganization)))) |
Military.kif 234-239 | If X is an instance of military water vehicle, then there exists Y such that Y uses X and Y is an instance of military organization |
| (=> (attribute ?User ComputerUser) (exists (?Computer) (and (instance ?Computer Computer) (uses ?Computer ?User)))) |
QoSontology.kif 1847-1852 | If computer user is an attribute of X, then there exists Y such that Y is an instance of computer and X uses Y |
| (=> (and (instance ?Using UsingAResource) (resourceUsed ?Using ?Resource) (agent ?Using ?Agent)) (uses ?Resource ?Agent)) |
QoSontology.kif 2090-2095 | If X is an instance of using a resource, X uses Y, and Z is an agent of X, then Z uses Y |
|