ChemicalAgent - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint ChemicalAgent OrganicObject)	WMD.kif 447-447	Chemical agent is disjoint from organic object
(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	Chemical agent is disjoint from organic object
(subclass ChemicalAgent (ComplementFn OrganicObject))	WMD.kif 451-451	Chemical agent is a subclass of the complement of organic object
(subclass ChemicalAgent BiochemicalAgent)	WMD.kif 444-444	Chemical agent is a subclass of biochemical agent
(subclass ChemicalAgent BiologicallyActiveSubstance)	WMD.kif 446-446	Chemical agent is a subclass of biologically active substance
(subclass ChemicalAgent CompoundSubstance)	WMD.kif 445-445	Chemical agent is a subclass of compound substance

appearance as argument number 2

(subclass BlisterAgent ChemicalAgent)	WMD.kif 475-475	Blister agent is a subclass of chemical agent
(subclass BloodAgent ChemicalAgent)	WMD.kif 522-522	Blood agent is a subclass of chemical agent
(subclass ChokingAgent ChemicalAgent)	WMD.kif 602-602	Choking agent is a subclass of chemical agent
(subclass IncapacitatingAgent ChemicalAgent)	WMD.kif 545-545	Incapacitating agent is a subclass of chemical agent
(subclass NerveAgent ChemicalAgent)	WMD.kif 558-558	Nerve agent is a subclass of chemical agent
(termFormat ChineseLanguage ChemicalAgent "化学剂")	domainEnglishFormat.kif 14301-14301	Nerve agent is a subclass of chemical agent
(termFormat ChineseTraditionalLanguage ChemicalAgent "化學劑")	domainEnglishFormat.kif 14300-14300	Nerve agent is a subclass of chemical agent
(termFormat EnglishLanguage ChemicalAgent "chemical agent")	domainEnglishFormat.kif 14299-14299	Nerve agent is a subclass of chemical agent

appearance as argument number 3

(partition BiochemicalAgent BiologicalAgent ChemicalAgent)

WMD.kif 82-82

Biochemical agent is exhaustively partitioned into biological agent and chemical agent

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

If an object is an instance of chemical agent,
then there don't exist another object, a process and a third object such that the other object is an instance of organism and the process is an instance of biological process and the other object is an instrument for the process and the third object is a result of the process and the third object is a copy of the object

consequent

(=>
    (instance ?WEAPON ChemicalWeapon)
    (exists (?AGENT)
        (and
            (instance ?AGENT ChemicalAgent)
            (part ?AGENT ?WEAPON))))

WMD.kif 457-462

If an object is an instance of chemical weapon,
then there exists another object such that the other object is an instance of chemical agent and the other object is a part of the object

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

KB Term:			Term intersection

English Word: