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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Getting
Getting(获得)

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 11777-11779
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 11775-11775 获得改变所有权subclass

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


No TPTP formula. May not be expressible in strict first order. Media.kif 185-185 ReceivingAnObjectFn 的所得值 是 获得subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11803-11803 借入获得subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 51-51 食品配送业务获得subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11787-11787 单方面获得获得subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1136-1136
No TPTP formula. May not be expressible in strict first order. english_format.kif 1489-1489
No TPTP formula. May not be expressible in strict first order. french_format.kif 814-814
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 346-346
No TPTP formula. May not be expressible in strict first order. terms-it.txt 349-349
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2498-2498
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 766-766
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 351-351
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 385-385
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 835-835
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 350-350

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11781-11785

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16200-16212
No TPTP formula. May not be expressible in strict first order. Merge.kif 11673-11685
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 1827-1848


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