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


s__disjoint(s__ChemicalAgent,s__OrganicObject)

WMD.kif 442-442 Chemical agent is disjoint from organic object
s__documentation(s__ChemicalAgent,s__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
s__instance(s__ChemicalAgent,s__SetOrClass)

WMD.kif 446-446 Chemical agent is a subclass of the complement of organic object
s__subclass(s__ChemicalAgent,s__BiochemicalAgent)

WMD.kif 439-439 Chemical agent is a subclass of biochemical agent
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

WMD.kif 441-441 Chemical agent is a subclass of biologically active substance
s__instance(s__CompoundSubstance,s__SetOrClass)

WMD.kif 440-440 Chemical agent is a subclass of compound substance

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


s__instance(s__ChemicalAgent,s__SetOrClass)

WMD.kif 470-470 Blister agent is a subclass of chemical agent
s__instance(s__BloodAgent,s__SetOrClass)

WMD.kif 517-517 Blood agent is a subclass of chemical agent
s__subclass(s__ChokingAgent,s__ChemicalAgent)

WMD.kif 597-597 Choking agent is a subclass of chemical agent
s__instance(s__IncapacitatingAgent,s__SetOrClass)

WMD.kif 540-540 Incapacitating agent is a subclass of chemical agent
s__instance(s__ChemicalAgent,s__SetOrClass)

WMD.kif 553-553 Nerve agent is a subclass of chemical agent
s__termFormat(s__EnglishLanguage,s__ChemicalAgent,'chemical agent')

domainEnglishFormat.kif 2804-2804 "chemical agent" is the printable form of chemical agent in english language

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


s__partition_3(s__BiochemicalAgent,s__BiologicalAgent,s__ChemicalAgent)

WMD.kif 82-82 Biochemical agent is exhaustively partitioned into biological agent and chemical agent

antecedent
-------------------------


( ! [V__AGENT] :
   (s__instance(V__AGENT,s__ChemicalAgent) =>
     (~ (? [V__ORGANISM,V__PROCESS,V__SUBSTANCE] :
         (s__instance(V__ORGANISM,s__Organism) &
           s__instance(V__PROCESS,s__BiologicalProcess) &
           s__instrument(V__PROCESS,V__ORGANISM)
         &
         s__result(V__PROCESS,V__SUBSTANCE)
       &
       s__copy(V__SUBSTANCE,V__AGENT)))))
)

WMD.kif 459-468

consequent
-------------------------


( ! [V__WEAPON] :
   (s__instance(V__WEAPON,s__ChemicalWeapon) =>
     (? [V__AGENT] :
       (s__instance(V__AGENT,s__ChemicalAgent) &
         s__part(V__AGENT,V__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