Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Getting

Sigma KEE - Getting
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...

VerbNet: send-11.1|sneak, obtain-13.5.2|accrue, get-13.5.1|gain, herd-47.5.2|aggregate, future_having-13.3|portion, obtain-13.5.2|arrogate, future_having-13.3|portion, obtain-13.5.2|arrogate, get-13.5.1|gain, send-11.1|sneak, obtain-13.5.2|cadge, obtain-13.5.2|collect, steal-10.5|carjack, get-13.5.1|gain, obtain-13.5.2|collect, herd-47.5.2|aggregate, get-13.5.1|find, cheat-10.6|cozen, get-13.5.1|earn, obtain-13.5.2|accrue, send-11.1|sneak, obtain-13.5.2|retrieve, get-13.5.1|earn, obtain-13.5.2|collect, get-13.5.1|get, get-13.5.1|find, shake-22.3|glom, steal-10.5|grab, obtain-13.5.2|accept, force-59|hijack, send-11.1|sneak, send-11.1|sneak, get-13.5.1|find, get-13.5.1|gain, send-11.1|sneak, obtain-13.5.2|obtain, obtain-13.5.2|collect, send-11.1|sneak, send-11.1|sneak, future_having-13.3|portion, get-13.5.1|secure, get-13.5.1|gain, send-11.1|sneak, get-13.5.1|gain, get-13.5.1|gain, obtain-13.5.2|receive, steal-10.5|repossess, obtain-13.5.2|retrieve, obtain-13.5.2|retrieve, steal-10.5|repossess, ...


appearance as argument number 1
-------------------------


(documentation Getting ChineseLanguage "这是 ChangeOfPossessionsubclass,这是在当 agent 得到一些东西。注:可以用 CaseRoleorigin 来指定所得到东西的来源。") 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 10965-10967
(subclass Getting ChangeOfPossession) Merge.kif 10963-10963 Getting is a subclass of change of possession

appearance as argument number 2
-------------------------


(rangeSubclass ReceivingAnObjectFn Getting) Media.kif 185-185 The values returned by ReceivingAnObjectFn are subclasses of getting
(subclass Borrowing Getting) Merge.kif 10991-10991 Borrowing is a subclass of getting
(subclass FoodDistributionOperation Getting) Military.kif 51-51 Food distribution operation is a subclass of getting
(subclass UnilateralGetting Getting) Merge.kif 10975-10975 Unilateral getting is a subclass of getting
(termFormat ChineseLanguage Getting "获得") chinese_format.kif 1136-1136
(termFormat EnglishLanguage Getting "getting") english_format.kif 1494-1494

antecedent
-------------------------


(=>
    (and
        (instance ?GET Getting)
        (agent ?GET ?AGENT))
    (destination ?GET ?AGENT))
Merge.kif 10969-10973

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 13899-13911
(=>
    (and
        (instance ?GIVE Giving)
        (agent ?GIVE ?AGENT1)
        (destination ?GIVE ?AGENT2)
        (instance ?AGENT2 Agent)
        (patient ?GIVE ?OBJ))
    (exists (?GET)
        (and
            (instance ?GET Getting)
            (agent ?GET ?AGENT2)
            (origin ?GET ?AGENT1)
            (patient ?GET ?OBJ))))
Merge.kif 10873-10885
(=>
    (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 564-581
(=>
    (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 270-287
(=>
    (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 1356-1372
(=>
    (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 1775-1796


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners