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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3088-3090
No TPTP formula. May not be expressible in strict first order. Merge.kif 11790-11793
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1859-1861
No TPTP formula. May not be expressible in strict first order. Merge.kif 11788-11788 Unilateral getting is internally related to unilateral giving
No TPTP formula. May not be expressible in strict first order. Merge.kif 11787-11787 Unilateral getting is a subclass of getting

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21919-21919 Hostage taking is a subclass of unilateral getting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18616-18616 Inheriting is a subclass of unilateral getting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18697-18697 Seizing property is a subclass of unilateral getting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18579-18579 Stealing is a subclass of unilateral getting
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1137-1137
No TPTP formula. May not be expressible in strict first order. english_format.kif 1491-1491
No TPTP formula. May not be expressible in strict first order. french_format.kif 815-815
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 347-347
No TPTP formula. May not be expressible in strict first order. terms-it.txt 350-350
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2499-2499
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 767-767
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 386-386
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 836-836
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 351-351

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11795-11801


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