Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass UnilateralGetting Getting) | Merge.kif 12063-12063 | Unilateral getting is a subclass of getting |
| (relatedInternalConcept UnilateralGetting UnilateralGiving) | Merge.kif 12064-12064 | Unilateral getting is internally related to unilateral giving |
| (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 12066-12069 | Unilateral getting is internally related to unilateral giving |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?GET UnilateralGetting) (not (exists (?TRANS) (and (instance ?TRANS Transaction) (subProcess ?GET ?TRANS))))) |
Merge.kif 12071-12077 | If X is an instance of unilateral getting, then there doesn't exist Y such that Y is an instance of transaction and X is a subprocess of Y |
|