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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiochemicalAgent
BiochemicalAgent(biochemical agent)
more pictures...

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


s__documentation(s__BiochemicalAgent,s__EnglishLanguage,'"A BiologicalAgent or a ChemicalAgent."')

WMD.kif 81-81
s__externalImage(s__BiochemicalAgent,'"http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Albania_chemweapcanister.jpg"')

pictureList.kif 10539-10539
s__externalImage(s__BiochemicalAgent,'"http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ 1993_Kameido_site_fluid_petri.jpg"')

pictureList.kif 10538-10538
s__externalImage(s__BiochemicalAgent,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ 1GZX_Haemoglobin.png"')

pictureList.kif 8986-8986
s__externalImage(s__BiochemicalAgent,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Cellulose-2D-skeletal.png"')

pictureList.kif 8987-8987
s__externalImage(s__BiochemicalAgent,'"http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ Amino_acids_1.png"')

pictureList.kif 8988-8988
s__externalImage(s__BiochemicalAgent,'"http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Glucose-2D-skeletal.png"')

pictureList.kif 8989-8989
s__partition__3(s__BiochemicalAgent,s__BiologicalAgent,s__ChemicalAgent)

WMD.kif 82-82 Biochemical agent is exhaustively partitioned into biological agent and chemical agent
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__instance(s__BiochemicalAgent,s__SetOrClass)

s__subclass(s__BiochemicalAgent,s__BiologicallyActiveSubstance)

WMD.kif 80-80 Biochemical agent is a subclass of biologically active substance

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


s__instance(s__AerosolizedAgent,s__SetOrClass)

s__instance(s__BiochemicalAgent,s__SetOrClass)

s__subclass(s__AerosolizedAgent,s__BiochemicalAgent)

WMD.kif 96-96 Aerosolized agent is a subclass of biochemical agent
s__instance(s__BiologicalAgent,s__SetOrClass)

s__subclass(s__BiologicalAgent,s__BiochemicalAgent)

s__instance(s__BiochemicalAgent,s__SetOrClass)

WMD.kif 152-152 Biological agent is a subclass of biochemical agent
s__instance(s__BiochemicalAgent,s__SetOrClass)

s__subclass(s__ChemicalAgent,s__BiochemicalAgent)

s__instance(s__ChemicalAgent,s__SetOrClass)

WMD.kif 439-439 Chemical agent is a subclass of biochemical agent
s__subclass(s__LifeThreateningAgent,s__BiochemicalAgent)

s__instance(s__BiochemicalAgent,s__SetOrClass)

s__instance(s__LifeThreateningAgent,s__SetOrClass)

WMD.kif 997-997 Life threatening agent is a subclass of biochemical agent
s__termFormat(s__ChineseLanguage,s__BiochemicalAgent,'"生化剂"')

domainEnglishFormat.kif 11036-11036
s__termFormat(s__ChineseTraditionalLanguage,s__BiochemicalAgent,'"生化劑"')

domainEnglishFormat.kif 11035-11035
s__termFormat(s__EnglishLanguage,s__BiochemicalAgent,'"biochemical agent"')

domainEnglishFormat.kif 11034-11034

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


s__domain(s__biochemicalAgentAntidote__m,n__1,s__BiochemicalAgent)

WMD.kif 904-904 The number 1 argument of biochemical agent antidote is an instance of biochemical agent
s__domainSubclass(s__biochemicalAgentDelivery__m,n__1,s__BiochemicalAgent)

WMD.kif 777-777 The number 1 argument of biochemical agent delivery is a subclass of biochemical agent
s__domainSubclass(s__biochemicalAgentSyndrome__m,n__1,s__BiochemicalAgent)

WMD.kif 756-756 The number 1 argument of biochemical agent syndrome is a subclass of biochemical agent
s__domainSubclass(s__effectiveDose__m,n__1,s__BiochemicalAgent)

WMD.kif 791-791 The number 1 argument of effective dose is a subclass of biochemical agent
s__domainSubclass(s__lethalDose__m,n__1,s__BiochemicalAgent)

WMD.kif 838-838 The number 1 argument of lethal dose is a subclass of biochemical agent

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


( ! [V__WEAPON] :
   ((s__instance(V__WEAPON,s__BiochemicalWeapon) =>
       (( ? [V__AGENT] :
           ((s__instance(V__AGENT,s__BiochemicalAgent) &
               s__part(V__AGENT,V__WEAPON))))))
   )
)

WMD.kif 109-114


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