TreeView Knowledge Base Browser

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: