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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChemicalAgent

Sigma KEE - ChemicalAgent
ChemicalAgent

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


(disjoint ChemicalAgent OrganicObject) WMD.kif 447-447 ChemicalAgent est disjoint de objet organique
(documentation ChemicalAgent EnglishLanguage "Synthetic compounds that are not an analogue of anything occurring naturally and that can result in serious burns, paralysis, and death to Organisms.") WMD.kif 448-450
(subclass ChemicalAgent
    (ComplementFn OrganicObject))
WMD.kif 451-451 ChemicalAgent est une sous-classe de le compl�ment de objet organique
(subclass ChemicalAgent BiochemicalAgent) WMD.kif 444-444 ChemicalAgent est une sous-classe de BiochemicalAgent
(subclass ChemicalAgent BiologicallyActiveSubstance) WMD.kif 446-446 ChemicalAgent est une sous-classe de substance biologique active
(subclass ChemicalAgent CompoundSubstance) WMD.kif 445-445 ChemicalAgent est une sous-classe de substance compos�e

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


(subclass BlisterAgent ChemicalAgent) WMD.kif 475-475 BlisterAgent est une sous-classe de ChemicalAgent
(subclass BloodAgent ChemicalAgent) WMD.kif 522-522 BloodAgent est une sous-classe de ChemicalAgent
(subclass ChokingAgent ChemicalAgent) WMD.kif 602-602 ChokingAgent est une sous-classe de ChemicalAgent
(subclass IncapacitatingAgent ChemicalAgent) WMD.kif 545-545 IncapacitatingAgent est une sous-classe de ChemicalAgent
(subclass NerveAgent ChemicalAgent) WMD.kif 558-558 NerveAgent est une sous-classe de ChemicalAgent
(termFormat ChineseLanguage ChemicalAgent "化学剂") domainEnglishFormat.kif 14286-14286
(termFormat ChineseTraditionalLanguage ChemicalAgent "化學劑") domainEnglishFormat.kif 14285-14285
(termFormat EnglishLanguage ChemicalAgent "chemical agent") domainEnglishFormat.kif 14284-14284

appearance as argument number 3
-------------------------


(partition BiochemicalAgent BiologicalAgent ChemicalAgent) WMD.kif 82-82 BiochemicalAgent est compl�tement d�compos� en BiologicalAgent + ChemicalAgent

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


(=>
    (instance ?AGENT ChemicalAgent)
    (not
        (exists (?ORGANISM ?PROCESS ?SUBSTANCE)
            (and
                (instance ?ORGANISM Organism)
                (instance ?PROCESS BiologicalProcess)
                (instrument ?PROCESS ?ORGANISM)
                (result ?PROCESS ?SUBSTANCE)
                (copy ?SUBSTANCE ?AGENT)))))
WMD.kif 464-473

consequent
-------------------------


(=>
    (instance ?WEAPON ChemicalWeapon)
    (exists (?AGENT)
        (and
            (instance ?AGENT ChemicalAgent)
            (part ?AGENT ?WEAPON))))
WMD.kif 457-462


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