Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

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

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


(subclass BiochemicalAgent BiologicallyActiveSubstance) WMD.kif 80-80 Biochemical agent is a subclass of biologically active substance
(documentation BiochemicalAgent EnglishLanguage "A BiologicalAgent or a ChemicalAgent.") WMD.kif 81-81 Biochemical agent is a subclass of biologically active substance
(partition BiochemicalAgent BiologicalAgent ChemicalAgent) WMD.kif 82-82 Biochemical agent is exhaustively partitioned into biological agent and chemical agent
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ 1GZX_Haemoglobin.png") pictureList.kif 8981-8981 Biochemical agent is exhaustively partitioned into biological agent and chemical agent
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Cellulose-2D_skeletal.png") pictureList.kif 8982-8982 Biochemical agent is exhaustively partitioned into biological agent and chemical agent
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ Amino_acids_1.png") pictureList.kif 8983-8983 Biochemical agent is exhaustively partitioned into biological agent and chemical agent
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Glucose-2D_skeletal.png") pictureList.kif 8984-8984 Biochemical agent is exhaustively partitioned into biological agent and chemical agent
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ 1993_Kameido_site_fluid_petri.jpg") pictureList.kif 10516-10516 Biochemical agent is exhaustively partitioned into biological agent and chemical agent
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Albania_chemweapcanister.jpg") pictureList.kif 10517-10517 Biochemical agent is exhaustively partitioned into biological agent and chemical agent

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


(subclass BiologicalAgent BiochemicalAgent) WMD.kif 145-145 Biological agent is a subclass of biochemical agent
(subclass ChemicalAgent BiochemicalAgent) WMD.kif 439-439 Chemical agent is a subclass of biochemical agent
(subclass LifeThreateningAgent BiochemicalAgent) WMD.kif 1005-1005 Life threatening agent is a subclass of biochemical agent
(termFormat EnglishLanguage BiochemicalAgent "biochemical agent") domainEnglishFormat.kif 11033-11033 Life threatening agent is a subclass of biochemical agent
(termFormat ChineseTraditionalLanguage BiochemicalAgent "生化劑") domainEnglishFormat.kif 11034-11034 Life threatening agent is a subclass of biochemical agent
(termFormat ChineseLanguage BiochemicalAgent "生化剂") domainEnglishFormat.kif 11035-11035 Life threatening agent is a subclass of biochemical agent

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


(domainSubclass biochemicalAgentSyndrome 1 BiochemicalAgent) WMD.kif 756-756 The number 1 argument of biochemical agent syndrome is a subclass of biochemical agent
(domainSubclass biochemicalAgentDelivery 1 BiochemicalAgent) WMD.kif 777-777 The number 1 argument of biochemical agent delivery is a subclass of biochemical agent
(domainSubclass effectiveDose 1 BiochemicalAgent) WMD.kif 791-791 The number 1 argument of effective dose is a subclass of biochemical agent
(domainSubclass lethalDose 1 BiochemicalAgent) WMD.kif 838-838 The number 1 argument of lethal dose is a subclass of biochemical agent
(domainSubclass biochemicalAgentAntidote 1 BiochemicalAgent) WMD.kif 908-908 The number 1 argument of biochemical agent antidote is a subclass of biochemical agent

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


(=>
    (instance ?WEAPON BiochemicalWeapon)
    (exists (?AGENT)
        (and
            (instance ?AGENT BiochemicalAgent)
            (part ?AGENT ?WEAPON))))		 WMD.kif 104-109 If X is an instance of biochemical weapon, then there exists Y such that Y is an instance of biochemical agent and Y is a part of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners