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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalAgent

appearance as argument number 1

(disjoint ChemicalAgent OrganicObject) WMD.kif 447-447 化学剂 和 % 2 是 disjoint
(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
(subclass ChemicalAgent BiochemicalAgent) WMD.kif 444-444 化学剂生化剂subclass
(subclass ChemicalAgent BiologicallyActiveSubstance) WMD.kif 446-446 化学剂生物活性物质subclass
(subclass ChemicalAgent CompoundSubstance) WMD.kif 445-445 化学剂复合物质subclass

appearance as argument number 2

(subclass BlisterAgent ChemicalAgent) WMD.kif 475-475 发泡剂化学剂subclass
(subclass BloodAgent ChemicalAgent) WMD.kif 522-522 血液剂化学剂subclass
(subclass ChokingAgent ChemicalAgent) WMD.kif 602-602 窒息剂化学剂subclass
(subclass IncapacitatingAgent ChemicalAgent) WMD.kif 545-545 失能剂化学剂subclass
(subclass NerveAgent ChemicalAgent) WMD.kif 558-558 神经毒剂化学剂subclass
(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 生化剂 详尽无遗地 partition生物制剂化学剂


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


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

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 is open source software produced by Articulate Software and its partners