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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Shooting
Shooting(Atirar)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3046-3047
No TPTP formula. May not be expressible in strict first order. Merge.kif 11522-11524
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1814-1815
No TPTP formula. May not be expressible in strict first order. pictureList.kif 728-728
No TPTP formula. May not be expressible in strict first order. Merge.kif 11520-11520 Atirar e' uma sub-classe de Propulsionar

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1126-1126
No TPTP formula. May not be expressible in strict first order. english_format.kif 1469-1469
No TPTP formula. May not be expressible in strict first order. french_format.kif 804-804
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 336-336
No TPTP formula. May not be expressible in strict first order. terms-it.txt 339-339
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2488-2488
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 756-756
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 375-375
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 825-825
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 340-340

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 48-56
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1228-1240
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 179-188
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 597-605
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 198-206
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 219-228
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 35-43
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1131-1138
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1162-1169

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 233-245
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 250-262
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1177-1185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1562-1577
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1158-1160
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1127-1129
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1110-1112
No TPTP formula. May not be expressible in strict first order. Sports.kif 1200-1205
No TPTP formula. May not be expressible in strict first order. Sports.kif 191-196
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1579-1590


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