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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BlisterAgent
BlisterAgent

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


(biochemicalAgentDelivery BlisterAgent Breathing) WMD.kif 472-472
(biochemicalAgentDelivery BlisterAgent Ingesting) WMD.kif 473-473
(biochemicalAgentDelivery BlisterAgent Touching) WMD.kif 471-471
(documentation BlisterAgent EnglishLanguage "ChemicalAgents that affect eyes, lungs, and skin. BlisterAgents are so named because they cause blistering of the skin. They may also cause blindness and respiratory damage.") WMD.kif 474-476
(externalImage BlisterAgent "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Blister.jpg") pictureList.kif 8384-8384
(subclass BlisterAgent ChemicalAgent) WMD.kif 470-470

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


(subclass Lewisite BlisterAgent) WMD.kif 501-501
(subclass MustardGas BlisterAgent) WMD.kif 487-487
(subclass PhosgeneOxime BlisterAgent) WMD.kif 512-512
(termFormat ChineseLanguage BlisterAgent "发泡剂") domainEnglishFormat.kif 11273-11273
(termFormat ChineseTraditionalLanguage BlisterAgent "發泡劑") domainEnglishFormat.kif 11272-11272
(termFormat EnglishLanguage BlisterAgent "blister agent") domainEnglishFormat.kif 11271-11271

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


(=>
    (instance ?AGENT BlisterAgent)
    (hasPurpose ?AGENT
        (exists (?DAMAGE ?TISSUE)
            (and
                (instance ?DAMAGE Damaging)
                (instance ?TISSUE Tissue)
                (patient ?DAMAGE ?TISSUE)))))
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