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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalAgent
ChemicalAgent

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


(disjoint ChemicalAgent OrganicObject) WMD.kif 447-447 ChemicalAgent有機物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 ChemicalAgent有機物disjoint では
(subclass ChemicalAgent
    (ComplementFn OrganicObject))
WMD.kif 451-451 ChemicalAgent有機物complementsubclass では
(subclass ChemicalAgent BiochemicalAgent) WMD.kif 444-444 ChemicalAgentBiochemicalAgentsubclass では
(subclass ChemicalAgent BiologicallyActiveSubstance) WMD.kif 446-446 ChemicalAgent生物活性物質subclass では
(subclass ChemicalAgent CompoundSubstance) WMD.kif 445-445 ChemicalAgent合成物質subclass では

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


(subclass BlisterAgent ChemicalAgent) WMD.kif 475-475 BlisterAgentChemicalAgentsubclass では
(subclass BloodAgent ChemicalAgent) WMD.kif 522-522 BloodAgentChemicalAgentsubclass では
(subclass ChokingAgent ChemicalAgent) WMD.kif 602-602 ChokingAgentChemicalAgentsubclass では
(subclass IncapacitatingAgent ChemicalAgent) WMD.kif 545-545 IncapacitatingAgentChemicalAgentsubclass では
(subclass NerveAgent ChemicalAgent) WMD.kif 558-558 NerveAgentChemicalAgentsubclass では
(termFormat ChineseLanguage ChemicalAgent "化学剂") domainEnglishFormat.kif 14295-14295 NerveAgentChemicalAgentsubclass では
(termFormat ChineseTraditionalLanguage ChemicalAgent "化學劑") domainEnglishFormat.kif 14294-14294 NerveAgentChemicalAgentsubclass では
(termFormat EnglishLanguage ChemicalAgent "chemical agent") domainEnglishFormat.kif 14293-14293 NerveAgentChemicalAgentsubclass では

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


(partition BiochemicalAgent BiologicalAgent ChemicalAgent) WMD.kif 82-82 BiochemicalAgentBiologicalAgent + ChemicalAgentexhaustively partitioned

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