| Getting | | Obter, Ottenere, 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... |
| appearance as argument number 1 |
|
|
| s__documentation(s__Getting,s__ChineseLanguage,'这是 ChangeOfPossession 的 subclass，这是在当 agent 得到一些东西。注：可以用 CaseRole 的 origin 来指定所得到东西的来源。')
|
Merge.kif 11670-11671 | |
| s__documentation(s__Getting,s__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 11667-11669 | |
| s__subclass(s__Getting,s__ChangeOfPossession)
|
Merge.kif 11666-11666 |
| appearance as argument number 2 |
|
|
| s__rangeSubclass(s__ReceivingAnObjectFn__m,s__Getting)
|
Media.kif 185-185 | |
| s__subclass(s__Borrowing,s__Getting)
|
Merge.kif 11697-11697 | |
| s__subclass(s__FoodDistributionOperation,s__Getting)
|
Military.kif 51-51 | |
| s__instance(s__UnilateralGetting,s__SetOrClass)
|
Merge.kif 11679-11679 | |
| s__termFormat(s__ChineseLanguage,s__Getting,'获得')
|
chinese_format.kif 1136-1136 | |
| s__termFormat(s__EnglishLanguage,s__Getting,'getting')
|
english_format.kif 823-823 | |
| s__termFormat(s__FrenchLanguage,s__Getting,'obtenir')
|
french_format.kif 814-814 | |
| s__termFormat(s__Hindi,s__Getting,'praapwi')
|
terms-hindi.txt 346-346 | |
| s__termFormat(s__ItalianLanguage,s__Getting,'Ottenere')
|
terms-it.txt 347-347 | |
| s__termFormat(s__PortugueseLanguage,s__Getting,'Obter')
|
portuguese_format.kif 766-766 | |
| s__termFormat(s__cb__m,s__Getting,'pagkuha')
|
terms-cb.txt 351-351 | |
| s__termFormat(s__cz__m,s__Getting,'getting')
|
terms-cz.txt 385-385 | |
| s__termFormat(s__tg__m,s__Getting,'pagkuha')
|
terms-tg.txt 350-350 |
| antecedent |
|
|
| ( ! [V__GET,V__AGENT] : ((s__instance(V__GET,s__Getting) & s__agent(V__GET,V__AGENT)) => s__destination(V__GET,V__AGENT)) )
|
Merge.kif 11673-11677 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13847-13858 | |
| ( ! [V__GIVE,V__AGENT1,V__AGENT2,V__OBJ] : ((s__instance(V__GIVE,s__Giving) & s__agent(V__GIVE,V__AGENT1) & s__destination(V__GIVE,V__AGENT2) & s__instance(V__AGENT2,s__Agent) & s__patient(V__GIVE,V__OBJ)) => (? [V__GET] : (s__instance(V__GET,s__Getting) & s__agent(V__GET,V__AGENT2) & s__origin(V__GET,V__AGENT1) & s__patient(V__GET,V__OBJ)))) )
|
Merge.kif 11569-11581 | |
| ( ! [V__P,V__AGENT,V__CUST,V__FOOD] : ((s__instance(V__P,s__FoodPickup) & s__agent(V__P,V__AGENT) & s__destination(V__P,V__CUST) & s__patient(V__P,V__FOOD)) => (s__instance(V__FOOD,s__FoodForFn(s__Human)) & (? [V__LOC,V__T,V__G] : (s__located(V__AGENT,V__LOC) & s__instance(V__T,s__Translocation) & s__agent(V__T,V__CUST) & s__destination(V__T,V__LOC) & s__instance(V__G,s__Getting) & s__origin(V__G,V__AGENT) & s__destination(V__G,V__CUST) & s__patient(V__G,V__FOOD))))) )
|
Dining.kif 568-585 | |
| ( ! [V__X,V__ITEM,V__LOC1,V__E,V__AGENT,V__LOC2] : ((s__instance(V__X,s__Buffet) & s__member(V__ITEM,V__X) & s__located(V__X,V__LOC1) & s__instance(V__E,s__Eating) & s__agent(V__E,V__AGENT) & s__eventLocated(V__E,V__LOC2) & s__patient(V__E,V__ITEM)) => ((~ (V__LOC1 = V__LOC2)) & (? [V__G] : (s__instance(V__G,s__Getting) & s__patient(V__G,V__ITEM) & s__origin(V__G,V__LOC1) & s__agent(V__G,V__AGENT) & s__before(s__WhenFn(V__G) ,s__WhenFn(V__E)))))) )
|
Dining.kif 277-294 | |
| ( ! [V__FD] : (s__instance(V__FD,s__FoodDistributionOperation) => (? [V__GI,V__GE] : (s__instance(V__GI,s__Giving) & s__instance(V__GI,s__Getting) & s__subProcess(V__GI,V__FD) & s__subProcess(V__GE,V__FD)))) )
|
Military.kif 53-60 | |
| ( ! [V__HN] : (s__instance(V__HN,s__HostNation) => (? [V__GETTING,V__FORCES,V__OTHERNATION,V__MILITARY] : (s__instance(V__OTHERNATION,s__Nation) & s__instance(V__MILITARY,s__MilitaryForce) & s__militaryOfArea(V__MILITARY,V__OTHERNATION) & s__subOrganization(V__FORCES,V__MILITARY) & (~ (V__HN = V__OTHERNATION)) & (~ s__enemy(V__HN,V__OTHERNATION)) & s__instance(V__GETTING,s__Getting) & s__agent(V__GETTING,V__HN) & s__patient(V__GETTING,V__FORCES) & s__instance(V__FORCES,s__MilitaryForce) & s__located(V__FORCES,V__HN)))) )
|
MilitaryProcesses.kif 1345-1361 | |
| ( ! [V__SVC] : (s__instance(V__SVC,s__ValetLaundryService) => (? [V__CUST,V__AGENT,V__LOC,V__CLOTHES,V__LAUNDRY,V__PICKUP,V__DELIVERY] : (s__customer(V__CUST,V__AGENT) & s__stays(V__CUST,V__LOC) & s__agent(V__SVC,V__AGENT) & s__instance(V__CLOTHES,s__Clothing) & s__instance(V__PICKUP,s__Getting) & s__located(V__PICKUP,V__LOC) & s__patient(V__PICKUP,V__CLOTHES) & s__agent(V__PICKUP,V__AGENT) & (s__instance(V__LAUNDRY,s__LaundryService) | s__instance(V__LAUNDRY,s__DryCleaningService)) & s__agent(V__LAUNDRY,V__AGENT) & s__patient(V__LAUNDRY,V__CLOTHES) & s__instance(V__DELIVERY,s__DeliveryService) & s__patient(V__DELIVERY,V__CLOTHES) & s__destination(V__DELIVERY,V__LOC) & s__before(s__BeginFn(s__WhenFn(V__PICKUP)) ,s__BeginFn(s__WhenFn(V__LAUNDRY))) & s__before(s__BeginFn(s__WhenFn(V__LAUNDRY)) ,s__BeginFn(s__WhenFn(V__DELIVERY)))))) )
|
Hotel.kif 1771-1792 |
|
|
|