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 不相交的 化學劑 and OrganicObject
(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 子類 化學劑 and 補充 OrganicObject
(subclass ChemicalAgent BiochemicalAgent) WMD.kif 444-444 子類 化學劑 and 生化劑
(subclass ChemicalAgent BiologicallyActiveSubstance) WMD.kif 446-446 子類 化學劑 and BiologicallyActiveSubstance
(subclass ChemicalAgent CompoundSubstance) WMD.kif 445-445 子類 化學劑 and CompoundSubstance

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


(subclass BlisterAgent ChemicalAgent) WMD.kif 475-475 子類 發泡劑 and 化學劑
(subclass BloodAgent ChemicalAgent) WMD.kif 522-522 子類 血液劑 and 化學劑
(subclass ChokingAgent ChemicalAgent) WMD.kif 602-602 子類 窒息劑 and 化學劑
(subclass IncapacitatingAgent ChemicalAgent) WMD.kif 545-545 子類 失能劑 and 化學劑
(subclass NerveAgent ChemicalAgent) WMD.kif 558-558 子類 神經毒劑 and 化學劑
(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 劃分 生化劑, 生物製劑 and 化學劑

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