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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BlisterAgent

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 8383-8383
(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 11330-11330
(termFormat ChineseTraditionalLanguage BlisterAgent "發泡劑") domainEnglishFormat.kif 11329-11329
(termFormat EnglishLanguage BlisterAgent "blister agent") domainEnglishFormat.kif 11328-11328

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


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


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