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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Getting
Getting(obtenir)

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 11912-11914
(documentation Getting JapaneseLanguage "agent が何かを得る ChangeOfPossession の subclass。注：何かが取得されたソースは origin CaseRole で指定さる。") japanese_format.kif 1857-1858
(subclass Getting ChangeOfPossession) Merge.kif 11910-11910 Obtenir est une sous-classe de changement de possession

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


(rangeSubclass ReceivingAnObjectFn Getting) Media.kif 185-185 Les valeurs retourn�es par ReceivingAnObjectFn sont des sous-classes de obtenir
(subclass Borrowing Getting) Merge.kif 11938-11938 Emprunter est une sous-classe de obtenir
(subclass FoodDistributionOperation Getting) Military.kif 51-51 FoodDistributionOperation est une sous-classe de obtenir
(subclass UnilateralGetting Getting) Merge.kif 11922-11922 Obtention unilat�rale est une sous-classe de obtenir
(termFormat ChineseLanguage Getting "获得") chinese_format.kif 1136-1136 Obtention unilat�rale est une sous-classe de obtenir
(termFormat EnglishLanguage Getting "getting") english_format.kif 1489-1489 Obtention unilat�rale est une sous-classe de obtenir
(termFormat FrenchLanguage Getting "obtenir") french_format.kif 814-814 Obtention unilat�rale est une sous-classe de obtenir
(termFormat Hindi Getting "praapwi") terms-hindi.txt 346-346 Obtention unilat�rale est une sous-classe de obtenir
(termFormat ItalianLanguage Getting "Ottenere") terms-it.txt 349-349 Obtention unilat�rale est une sous-classe de obtenir
(termFormat JapaneseLanguage Getting "取得") japanese_format.kif 2498-2498 Obtention unilat�rale est une sous-classe de obtenir
(termFormat PortugueseLanguage Getting "Obter") portuguese_format.kif 766-766 Obtention unilat�rale est une sous-classe de obtenir
(termFormat cb Getting "pagkuha") terms-cb.txt 351-351 Obtention unilat�rale est une sous-classe de obtenir
(termFormat cz Getting "getting") terms-cz.txt 385-385 Obtention unilat�rale est une sous-classe de obtenir
(termFormat de Getting "Erhalten") terms-de.txt 644-644 Obtention unilat�rale est une sous-classe de obtenir
(termFormat ro Getting "obþinere") relations-ro.kif 835-835 Obtention unilat�rale est une sous-classe de obtenir
(termFormat tg Getting "pagkuha") terms-tg.txt 350-350 Obtention unilat�rale est une sous-classe de obtenir

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


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

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 17587-17599
(=>
    (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 11808-11820
(=>
    (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 1838-1859


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners