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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Impelling
Impelling

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3044-3045
No TPTP formula. May not be expressible in strict first order. Merge.kif 11470-11472
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1812-1813
No TPTP formula. May not be expressible in strict first order. Merge.kif 11468-11468 子類 Impelling and Transfer

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2292-2292 子類 雪崩過程 and Impelling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6563-6563 子類 Drooling and Impelling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17019-17019 子類 遊戲鏡頭 and Impelling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10713-10713 子類 HeartBeat and Impelling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6633-6633 子類 踢 and Impelling
No TPTP formula. May not be expressible in strict first order. Geography.kif 2298-2298 子類 滑坡 and Impelling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6617-6617 子類 沖壓 and Impelling
No TPTP formula. May not be expressible in strict first order. Merge.kif 11474-11474 子類 Shooting and Impelling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6549-6549 子類 吐痰 and Impelling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17078-17078 子類 投擲 and Impelling
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1125-1125
No TPTP formula. May not be expressible in strict first order. english_format.kif 1467-1467
No TPTP formula. May not be expressible in strict first order. french_format.kif 803-803
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 335-335
No TPTP formula. May not be expressible in strict first order. terms-it.txt 338-338
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2487-2487
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 755-755
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 340-340
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 374-374
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 824-824
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 339-339

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11539-11547
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4212-4220


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