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 and 呼吸
(biochemicalAgentDelivery BlisterAgent Ingesting) WMD.kif 478-478 biochemicalAgentDelivery BlisterAgent and 摂取
(biochemicalAgentDelivery BlisterAgent Touching) WMD.kif 476-476 biochemicalAgentDelivery BlisterAgent and 接触
(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 BlisterAgentChemicalAgentsubclass では %n

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


(subclass Lewisite BlisterAgent) WMD.kif 506-506 LewisiteBlisterAgentsubclass では %n
(subclass MustardGas BlisterAgent) WMD.kif 492-492 MustardGasBlisterAgentsubclass では %n
(subclass PhosgeneOxime BlisterAgent) WMD.kif 517-517 PhosgeneOximeBlisterAgentsubclass では %n
(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 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