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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Shooting
Shooting

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 11476-11478
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 11474-11474 子類 Shooting and Impelling

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 1235-1247
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 1138-1145
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1169-1176

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 1184-1192
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1569-1584
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1165-1167
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1134-1136
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1117-1119
No TPTP formula. May not be expressible in strict first order. Sports.kif 1199-1204
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 1586-1597


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