BiochemicalAttack - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - BiochemicalAttack

BiochemicalAttack(biochemical attack)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 41-42
No TPTP formula. May not be expressible in strict first order.	WMD.kif 40-40	Biochemical attack is a subclass of attack

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11066-11066
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11065-11065
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11064-11064

antecedent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 64-68	If a process is an instance of biochemical attack and an entity is a patient of the process, then the entity is an instance of organism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 44-49	If an object is an instance of weapon of mass destruction and the object is an instrument for a process and the process is an instance of biochemical attack, then the object is an instance of biochemical weapon
No TPTP formula. May not be expressible in strict first order.	WMD.kif 70-78	If a physical is an instance of biochemical attack, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of damaging and the other entity is a patient of the entity and the physical causes the entity and the other entity is an instance of organism

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 57-62	If a process is an instance of violent contest and an object is an instrument for the process and the object is an instance of biochemical weapon, then the process is an instance of biochemical attack
No TPTP formula. May not be expressible in strict first order.	WMD.kif 51-55	If an object is an instance of biochemical weapon and an agent possesses the object, then the agent is capable of doing biochemical attack as a agent

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