Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Getting(getting) |  | absorb, abstract, accept, acceptance, acceptation, accession, accessional, accrue, acquire, acquired, acquiring, acquisition, addition, admit, adoption, aggregate, allot, ancestral, annexation, annexational, appropriation, appropriative, arrogate, assign, assume, assumption, attained, avail, benefit, borrowing, bosom, bring_home, bring_in, buy_out, buy_up, cabbage, cadge, call_for, carjack, carry-the_can, catch, clawback, clear, collect, combine, come_by, come_into, come_up, conquest, cozen... |
| appearance as argument number 1 |
|
|
| (subclass Getting ChangeOfPossession) | Merge.kif 12051-12051 | Getting is a subclass of change of possession |
| (documentation Getting EnglishLanguage "The subclass of ChangeOfPossession where the agent gets something. Note that the source from which something is obtained is specified with the origin CaseRole.") | Merge.kif 12053-12055 | Getting is a subclass of change of possession |
| appearance as argument number 2 |
|
|
| (subclass UnilateralGetting Getting) | Merge.kif 12063-12063 | Unilateral getting is a subclass of getting |
| (subclass Borrowing Getting) | Merge.kif 12079-12079 | Borrowing is a subclass of getting |
| (rangeSubclass ReceivingAnObjectFn Getting) | Media.kif 179-179 | The values returned by receiving an object fn are subclasses of getting |
| (subclass FoodDistributionOperation Getting) | Military.kif 51-51 | Food distribution operation is a subclass of getting |
| (termFormat EnglishLanguage Getting "getting") | english_format.kif 1493-1493 | Food distribution operation is a subclass of getting |
| antecedent |
|
|
| (=> (and (instance ?GET Getting) (agent ?GET ?AGENT)) (destination ?GET ?AGENT)) |
Merge.kif 12057-12061 | If X is an instance of getting and Y is an agent of X, then X ends up at Y |
| consequent |
|
|
| (=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT1) (destination ?GIVE ?AGENT2) (instance ?AGENT2 AutonomousAgent) (patient ?GIVE ?OBJ)) (exists (?GET) (and (instance ?GET Getting) (agent ?GET ?AGENT2) (origin ?GET ?AGENT1) (patient ?GET ?OBJ)))) |
Merge.kif 11949-11961 | If X is an instance of giving, Y is an agent of X, X ends up at Z, Z is an instance of agent, and W is a patient of X, then there exists V such that V is an instance of getting, Z is an agent of V, V originates at Y, and W is a patient of V |
| (=> (and (instance ?AWARD LegalAward) (refers ?AWARD ?ACTION) (instance ?ACTION LegalAction) (agent ?ACTION ?PLAINTIFF)) (confersRight ?AWARD ?PLAINTIFF (exists (?GET ?OBJ ?VALUE) (and (instance ?GET Getting) (experiencer ?GET ?PLAINTIFF) (patient ?GET ?OBJ) (monetaryValue ?OBJ ?VALUE))))) |
Mid-level-ontology.kif 17833-17845 | If X is an instance of legal award, X includes a reference to Y, Y is an instance of legal action, and Z is an agent of Y, then Z allows there exist W, V, U such that W is an instance of getting, Z experiences W, V is a patient of W, and value of V is U to perform task of the type X |
| (=> (and (instance ?X Buffet) (member ?ITEM ?X) (located ?X ?LOC1) (instance ?E Eating) (agent ?E ?AGENT) (eventLocated ?E ?LOC2) (patient ?E ?ITEM)) (and (not (equal ?LOC1 ?LOC2)) (exists (?G) (and (instance ?G Getting) (patient ?G ?ITEM) (origin ?G ?LOC1) (agent ?G ?AGENT) (before (WhenFn ?G) (WhenFn ?E)))))) |
Dining.kif 274-291 | If All of the following hold: (1) X is an instance of buffet (2) Y is a member of X (3) X is located at Z (4) W is an instance of eating (5) V is an agent of W (6) W is located at U (7) Y is a patient of W, then equal Z and U and there exists T such that T is an instance of getting, Y is a patient of T, T originates at Z, V is an agent of T, and the time of existence of T happens before the time of existence of W |
| (=> (and (instance ?P FoodPickup) (agent ?P ?AGENT) (destination ?P ?CUST) (patient ?P ?FOOD)) (and (instance ?FOOD (FoodForFn Human)) (exists (?LOC ?T ?G) (and (located ?AGENT ?LOC) (instance ?T Translocation) (agent ?T ?CUST) (destination ?T ?LOC) (instance ?G Getting) (origin ?G ?AGENT) (destination ?G ?CUST) (patient ?G ?FOOD))))) |
Dining.kif 610-627 | If X is an instance of food pickup, Y is an agent of X, X ends up at Z, and W is a patient of X, then W is an instance of food for human and All of the following hold: (1) there exist V, U (2) T such that Y is located at V (3) U is an instance of translocation (4) Z is an agent of U (5) U ends up at V (6) T is an instance of getting (7) T originates at Y (8) T ends up at Z (9) W is a patient of T |
| (=> (instance ?SVC ValetLaundryService) (exists (?CUST ?AGENT ?LOC ?CLOTHES ?LAUNDRY ?PICKUP ?DELIVERY) (and (customer ?CUST ?AGENT) (stays ?CUST ?LOC) (agent ?SVC ?AGENT) (instance ?CLOTHES Clothing) (instance ?PICKUP Getting) (located ?PICKUP ?LOC) (patient ?PICKUP ?CLOTHES) (agent ?PICKUP ?AGENT) (or (instance ?LAUNDRY LaundryService) (instance ?LAUNDRY DryCleaningService)) (agent ?LAUNDRY ?AGENT) (patient ?LAUNDRY ?CLOTHES) (instance ?DELIVERY DeliveryService) (patient ?DELIVERY ?CLOTHES) (destination ?DELIVERY ?LOC) (before (BeginFn (WhenFn ?PICKUP)) (BeginFn (WhenFn ?LAUNDRY))) (before (BeginFn (WhenFn ?LAUNDRY)) (BeginFn (WhenFn ?DELIVERY)))))) |
Hotel.kif 1844-1865 | If X is an instance of valet laundry, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U,, , T (2) S such that Z is a customer of Y (3) Y stays at W (4) Z is an agent of X (5) V is an instance of clothing (6) T is an instance of getting (7) T is located at W (8) V is a patient of T (9) Z is an agent of T (10) U is an instance of laundry service or U is an instance of dry-clean (11) Z is an agent of U (12) V is a patient of U (13) S is an instance of delivery service (14) V is a patient of S (15) S ends up at W (16) the beginning of the time of existence of T happens before the beginning of the time of existence of U (17) the beginning of the time of existence of U happens before the beginning of the time of existence of S |
| (=> (instance ?FD FoodDistributionOperation) (exists (?GI ?GE) (and (instance ?GI Giving) (instance ?GI Getting) (subProcess ?GI ?FD) (subProcess ?GE ?FD)))) |
Military.kif 53-60 | If X is an instance of food distribution operation, then there exist Y, Z such that Y is an instance of giving, Y is an instance of getting, Y is a subprocess of X, and Z is a subprocess of X |
| (=> (instance ?HN HostNation) (exists (?GETTING ?FORCES ?OTHERNATION ?MILITARY) (and (instance ?OTHERNATION Nation) (instance ?MILITARY MilitaryForce) (militaryOfArea ?MILITARY ?OTHERNATION) (subOrganization ?FORCES ?MILITARY) (not (equal ?HN ?OTHERNATION)) (not (enemy ?HN ?OTHERNATION)) (instance ?GETTING Getting) (agent ?GETTING ?HN) (patient ?GETTING ?FORCES) (instance ?FORCES MilitaryForce) (located ?FORCES ?HN)))) |
MilitaryProcesses.kif 1379-1395 | If X is an instance of host nation, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that W is an instance of nation (3) V is an instance of military force (4) W is a military of area of V (5) Z is a part of the organization V (6) equal X (7) W (8) X (9) W are not enemies of each other (10) Y is an instance of getting (11) X is an agent of Y (12) Z is a patient of Y (13) Z is an instance of military force (14) Z is located at X |
|