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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Attack

Sigma KEE - Attack
Attack(attack)
assail, attack, bear_down, charge, countercharge, first_strike, onrush, onset, onslaught, preventive_attack, preventive_strike, strafe, strike, submarine, surgical_strike

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3304-3305
No TPTP formula. May not be expressible in strict first order. Merge.kif 13399-13400
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10449-10449
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9894-9894
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10447-10447
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10448-10448
No TPTP formula. May not be expressible in strict first order. Merge.kif 13398-13398 Attack is a subclass of maneuver

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 40-40 Biochemical attack is a subclass of attack
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2053-2053 CT nw infra attack is a subclass of attack
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 437-437 Standoff attack is a subclass of attack
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2114-2114 Terrorist attack is a subclass of attack
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8976-8976
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8975-8975
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8974-8974

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13409-13418
No TPTP formula. May not be expressible in strict first order. Merge.kif 13402-13407

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21757-21769
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 89-103
No TPTP formula. May not be expressible in strict first order. Merge.kif 13442-13449
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 121-129
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18600-18614
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 713-723
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 694-704
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 482-498
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 535-547
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1935-1941
No TPTP formula. May not be expressible in strict first order. Military.kif 164-172


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