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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalAgent
ChemicalAgent(chemical agent)active, active_agent, chemical_agent, 化学剂, 化學劑

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


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

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


(subclass BlisterAgent ChemicalAgent) WMD.kif 470-470 Blister agent is a subclass of chemical agent
(subclass BloodAgent ChemicalAgent) WMD.kif 517-517 Blood agent is a subclass of chemical agent
(subclass ChokingAgent ChemicalAgent) WMD.kif 597-597 Choking agent is a subclass of chemical agent
(subclass IncapacitatingAgent ChemicalAgent) WMD.kif 540-540 Incapacitating agent is a subclass of chemical agent
(subclass NerveAgent ChemicalAgent) WMD.kif 553-553 Nerve agent is a subclass of chemical agent
(termFormat ChineseLanguage ChemicalAgent "化学剂") domainEnglishFormat.kif 14227-14227 "化学剂" is the printable form of chemical agent in ChineseLanguage
(termFormat ChineseTraditionalLanguage ChemicalAgent "化學劑") domainEnglishFormat.kif 14226-14226 "化學劑" is the printable form of chemical agent in ChineseTraditionalLanguage
(termFormat EnglishLanguage ChemicalAgent "chemical agent") domainEnglishFormat.kif 14225-14225 "chemical agent" is the printable form of chemical agent in english language

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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners