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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnilateralGetting
UnilateralGetting(unilateral getting)annex, appropriate, arrogation, bag, banditry, blackmail, bleed, booty, calf_roping, capture, carry, co-opt, confiscation, conquer, conquering, conquest, cop, defalcate, depredation, despoilation, despoilment, despoliation, devastation, devolve, dirty_money, distrain, distraint, distress, embezzle, enslavement, ensnare, entrap, expropriation, extort, fall, fiddle, frame, gaining_control, garnish, garnishee, glom, go, gouge, grand_larceny, grand_theft, highjack, hijack, hold_up, hook, impounding...

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


(documentation UnilateralGetting ChineseLanguage "這是任何不属于 Transaction 一部分 Getting 的实例。换句话说,这就是任何不涉及回报 Getting 的实例。UnilateralGetting 的一些例子有: 拨款、征用和偷窃等等。") chinese_format.kif 3088-3090
(documentation UnilateralGetting EnglishLanguage "Any instance of Getting that is not part of a Transaction. In other words, any instance of Getting where nothing is given in return. Some examples of UnilateralGetting are: appropriating, commandeering, stealing, etc.") Merge.kif 11636-11639
(relatedInternalConcept UnilateralGetting UnilateralGiving) Merge.kif 11634-11634 Unilateral getting is internally related to unilateral giving
(subclass UnilateralGetting Getting) Merge.kif 11633-11633 Unilateral getting is a subclass of getting

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


(subclass HostageTaking UnilateralGetting) Mid-level-ontology.kif 21485-21485 Hostage taking is a subclass of unilateral getting
(subclass Inheriting UnilateralGetting) Mid-level-ontology.kif 18051-18051 Inheriting is a subclass of unilateral getting
(subclass SeizingProperty UnilateralGetting) Mid-level-ontology.kif 18132-18132 Seizing property is a subclass of unilateral getting
(subclass Stealing UnilateralGetting) Mid-level-ontology.kif 18014-18014 Stealing is a subclass of unilateral getting
(termFormat ChineseLanguage UnilateralGetting "单方面获得") chinese_format.kif 1137-1137
(termFormat EnglishLanguage UnilateralGetting "unilateral getting") english_format.kif 1491-1491

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


(=>
    (instance ?GET UnilateralGetting)
    (not
        (exists (?TRANS)
            (and
                (instance ?TRANS Transaction)
                (subProcess ?GET ?TRANS)))))
Merge.kif 11641-11647


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