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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Impelling
Impelling(Propulsionar)

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 11516-11518
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 11514-11514 Propulsionar e' uma sub-classe de Transferencia

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2292-2292 AvalancheProcess e' uma sub-classe de Propulsionar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6557-6557 Drooling e' uma sub-classe de Propulsionar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17046-17046 GameShot e' uma sub-classe de Propulsionar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10740-10740 HeartBeat e' uma sub-classe de Propulsionar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6627-6627 Kicking e' uma sub-classe de Propulsionar
No TPTP formula. May not be expressible in strict first order. Geography.kif 2298-2298 Landslide e' uma sub-classe de Propulsionar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6611-6611 Punching e' uma sub-classe de Propulsionar
No TPTP formula. May not be expressible in strict first order. Merge.kif 11520-11520 Atirar e' uma sub-classe de Propulsionar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6543-6543 Spitting e' uma sub-classe de Propulsionar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17105-17105 Throwing e' uma sub-classe de Propulsionar
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 11585-11593
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4205-4213


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