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 477-477
(biochemicalAgentDelivery BlisterAgent Ingesting) WMD.kif 478-478
(biochemicalAgentDelivery BlisterAgent Touching) WMD.kif 476-476
(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 479-481
(externalImage BlisterAgent "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Blister.jpg") pictureList.kif 8382-8382
(subclass BlisterAgent ChemicalAgent) WMD.kif 475-475

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


(subclass Lewisite BlisterAgent) WMD.kif 506-506
(subclass MustardGas BlisterAgent) WMD.kif 492-492
(subclass PhosgeneOxime BlisterAgent) WMD.kif 517-517
(termFormat ChineseLanguage BlisterAgent "发泡剂") domainEnglishFormat.kif 11327-11327
(termFormat ChineseTraditionalLanguage BlisterAgent "發泡劑") domainEnglishFormat.kif 11326-11326
(termFormat EnglishLanguage BlisterAgent "blister agent") domainEnglishFormat.kif 11325-11325

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


(=>
    (instance ?AGENT BlisterAgent)
    (hasPurpose ?AGENT
        (exists (?DAMAGE ?TISSUE)
            (and
                (instance ?DAMAGE Damaging)
                (instance ?TISSUE Tissue)
                (patient ?DAMAGE ?TISSUE)))))
WMD.kif 483-490


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