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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Impelling

 Sigma KEE - Impelling
Impelling(propulser)

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 11492-11494
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 11490-11490 Propulser est une sous-classe de transf�re

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2292-2292 AvalancheProcess est une sous-classe de propulser
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6562-6562 Drooling est une sous-classe de propulser
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17018-17018 GameShot est une sous-classe de propulser
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10712-10712 HeartBeat est une sous-classe de propulser
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6632-6632 Kicking est une sous-classe de propulser
No TPTP formula. May not be expressible in strict first order. Geography.kif 2298-2298 Landslide est une sous-classe de propulser
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6616-6616 Punching est une sous-classe de propulser
No TPTP formula. May not be expressible in strict first order. Merge.kif 11496-11496 Tirer est une sous-classe de propulser
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6548-6548 Spitting est une sous-classe de propulser
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17077-17077 Throwing est une sous-classe de propulser
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 11561-11569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4212-4220


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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