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

Formal Language: 


KB Term:  Term intersection
English Word: 

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

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3086-3087
No TPTP formula. May not be expressible in strict first order. Merge.kif 11927-11929
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1857-1858
No TPTP formula. May not be expressible in strict first order. Merge.kif 11925-11925 Getting is a subclass of change of possession

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


No TPTP formula. May not be expressible in strict first order. Media.kif 185-185 The values returned by receiving an object fn are subclasses of getting
No TPTP formula. May not be expressible in strict first order. Merge.kif 11953-11953 Borrowing is a subclass of getting
No TPTP formula. May not be expressible in strict first order. Military.kif 51-51 Food distribution operation is a subclass of getting
No TPTP formula. May not be expressible in strict first order. Merge.kif 11937-11937 Unilateral getting is a subclass of getting
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1136-1136 Unilateral getting is a subclass of getting
No TPTP formula. May not be expressible in strict first order. english_format.kif 1489-1489 Unilateral getting is a subclass of getting
No TPTP formula. May not be expressible in strict first order. french_format.kif 814-814 Unilateral getting is a subclass of getting
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 346-346 Unilateral getting is a subclass of getting
No TPTP formula. May not be expressible in strict first order. terms-it.txt 349-349 Unilateral getting is a subclass of getting
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2498-2498 Unilateral getting is a subclass of getting
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 766-766 Unilateral getting is a subclass of getting
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 351-351 Unilateral getting is a subclass of getting
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 385-385 Unilateral getting is a subclass of getting
No TPTP formula. May not be expressible in strict first order. terms-de.txt 644-644 Unilateral getting is a subclass of getting
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 835-835 Unilateral getting is a subclass of getting
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 350-350 Unilateral getting is a subclass of getting

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11931-11935

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17587-17599
No TPTP formula. May not be expressible in strict first order. Merge.kif 11823-11835
No TPTP formula. May not be expressible in strict first order. Dining.kif 610-627
No TPTP formula. May not be expressible in strict first order. Dining.kif 274-291
No TPTP formula. May not be expressible in strict first order. Military.kif 53-60
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1357-1373
No TPTP formula. May not be expressible in strict first order. 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