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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BlisterAgent
BlisterAgent(blister agent)
vesicant, vesicatory

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 472-472 Breathing is a biochemical agent delivery of blister agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 473-473 Ingesting is a biochemical agent delivery of blister agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 471-471 Touching is a biochemical agent delivery of blister agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 474-476
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8384-8384
No TPTP formula. May not be expressible in strict first order. WMD.kif 470-470 Blister agent is a subclass of chemical agent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 501-501 Lewisite is a subclass of blister agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 487-487 Mustard gas is a subclass of blister agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 512-512 Phosgene oxime is a subclass of blister agent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11269-11269
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11268-11268
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11267-11267

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 478-485


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