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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Getting
Getting(getting)Obter, Ottenere, 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...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11589-11590
No TPTP formula. May not be expressible in strict first order. Merge.kif 11586-11588
No TPTP formula. May not be expressible in strict first order. Merge.kif 11585-11585 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 ReceivingAnObjectFn are subclasses of getting
No TPTP formula. May not be expressible in strict first order. Merge.kif 11616-11616 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 11598-11598 Unilateral getting is a subclass of getting
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1136-1136 "获得" is the printable form of getting in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 823-823 "getting" is the printable form of getting in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 814-814 "obtenir" is the printable form of getting in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 346-346 "praapwi" is the printable form of getting in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 347-347 "Ottenere" is the printable form of getting in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 766-766 "Obter" is the printable form of getting in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 351-351 "pagkuha" is the printable form of getting in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 385-385 "getting" is the printable form of getting in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 350-350 "pagkuha" is the printable form of getting in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11592-11596

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13587-13598
No TPTP formula. May not be expressible in strict first order. Merge.kif 11488-11500
No TPTP formula. May not be expressible in strict first order. Dining.kif 568-585
No TPTP formula. May not be expressible in strict first order. Dining.kif 277-294
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 1345-1361
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1771-1792


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners