Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalAgent
ChemicalAgent

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


(subclass ChemicalAgent BiochemicalAgent) WMD.kif 439-439
(subclass ChemicalAgent CompoundSubstance) WMD.kif 440-440
(subclass ChemicalAgent BiologicallyActiveSubstance) WMD.kif 441-441
(disjoint ChemicalAgent OrganicObject) WMD.kif 442-442
(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 443-445
(subclass ChemicalAgent
    (ComplementFn OrganicObject))		 WMD.kif 446-446

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


(subclass BlisterAgent ChemicalAgent) WMD.kif 470-470
(subclass BloodAgent ChemicalAgent) WMD.kif 517-517
(subclass IncapacitatingAgent ChemicalAgent) WMD.kif 540-540
(subclass NerveAgent ChemicalAgent) WMD.kif 553-553
(subclass ChokingAgent ChemicalAgent) WMD.kif 597-597
(termFormat EnglishLanguage ChemicalAgent "chemical agent") domainEnglishFormat.kif 14286-14286
(termFormat ChineseTraditionalLanguage ChemicalAgent "化學劑") domainEnglishFormat.kif 14287-14287
(termFormat ChineseLanguage ChemicalAgent "化学剂") domainEnglishFormat.kif 14288-14288

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 459-468

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


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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners