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
(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
(subclass ChemicalAgent BiochemicalAgent) WMD.kif 444-444
(subclass ChemicalAgent BiologicallyActiveSubstance) WMD.kif 446-446
(subclass ChemicalAgent CompoundSubstance) WMD.kif 445-445

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


(subclass BlisterAgent ChemicalAgent) WMD.kif 475-475
(subclass BloodAgent ChemicalAgent) WMD.kif 522-522
(subclass ChokingAgent ChemicalAgent) WMD.kif 602-602
(subclass IncapacitatingAgent ChemicalAgent) WMD.kif 545-545
(subclass NerveAgent ChemicalAgent) WMD.kif 558-558
(termFormat ChineseLanguage ChemicalAgent "化学剂") domainEnglishFormat.kif 14289-14289
(termFormat ChineseTraditionalLanguage ChemicalAgent "化學劑") domainEnglishFormat.kif 14288-14288
(termFormat EnglishLanguage ChemicalAgent "chemical agent") domainEnglishFormat.kif 14287-14287

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


(partition BiochemicalAgent BiologicalAgent ChemicalAgent) WMD.kif 82-82

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