| Getting | |
| appearance as argument number 1 |
|
|
| (documentation Getting ChineseLanguage "这是 ChangeOfPossession 的 subclass，这是在当 agent 得到一些东西。注：可以用 CaseRole 的 origin 来指定所得到东西的来源。") | chinese_format.kif 3086-3087 | |
| (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 11823-11825 | |
| (documentation Getting JapaneseLanguage "agent が何かを得る ChangeOfPossession の subclass。注：何かが取得されたソースは origin CaseRole で指定さる。") | japanese_format.kif 1857-1858 | |
| (subclass Getting ChangeOfPossession) | Merge.kif 11821-11821 |
| appearance as argument number 2 |
|
|
| (rangeSubclass ReceivingAnObjectFn Getting) | Media.kif 185-185 | |
| (subclass Borrowing Getting) | Merge.kif 11849-11849 | |
| (subclass FoodDistributionOperation Getting) | Military.kif 51-51 | |
| (subclass UnilateralGetting Getting) | Merge.kif 11833-11833 | |
| (termFormat ChineseLanguage Getting "获得") | chinese_format.kif 1136-1136 | |
| (termFormat EnglishLanguage Getting "getting") | english_format.kif 1489-1489 | |
| (termFormat FrenchLanguage Getting "obtenir") | french_format.kif 814-814 | |
| (termFormat Hindi Getting "praapwi") | terms-hindi.txt 346-346 | |
| (termFormat ItalianLanguage Getting "Ottenere") | terms-it.txt 349-349 | |
| (termFormat JapaneseLanguage Getting "取得") | japanese_format.kif 2498-2498 | |
| (termFormat PortugueseLanguage Getting "Obter") | portuguese_format.kif 766-766 | |
| (termFormat cb Getting "pagkuha") | terms-cb.txt 351-351 | |
| (termFormat cz Getting "getting") | terms-cz.txt 385-385 | |
| (termFormat ro Getting "obþinere") | relations-ro.kif 835-835 | |
| (termFormat tg Getting "pagkuha") | terms-tg.txt 350-350 |
| antecedent |
|
|
| (=> (and (instance ?GET Getting) (agent ?GET ?AGENT)) (destination ?GET ?AGENT)) |
Merge.kif 11827-11831 |
| consequent |
|
|
| (=> (and (instance ?AWARD LegalAward) (refers ?AWARD ?ACTION) (instance ?ACTION LegalAction) (agent ?ACTION ?PLAINTIFF)) (confersRight (exists (?GET ?OBJ ?VALUE) (and (instance ?GET Getting) (experiencer ?GET ?PLAINTIFF) (patient ?GET ?OBJ) (monetaryValue ?OBJ ?VALUE))) ?AWARD ?PLAINTIFF)) |
Mid-level-ontology.kif 16418-16430 | |
| (=> (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 11719-11731 | |
| (=> (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 | |
| (=> (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 | |
| (=> (instance ?FD FoodDistributionOperation) (exists (?GI ?GE) (and (instance ?GI Giving) (instance ?GI Getting) (subProcess ?GI ?FD) (subProcess ?GE ?FD)))) |
Military.kif 53-60 | |
| (=> (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 1357-1373 | |
| (=> (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 1827-1848 |
|
|
|