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


KB Term:  Term intersection
English Word: 

Sigma KEE - BiologicalAgent
BiologicalAgent(biological agent)
more pictures...

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


(subclass BiologicalAgent BiochemicalAgent) WMD.kif 145-145 Biological agent is a subclass of biochemical agent
(documentation BiologicalAgent EnglishLanguage "A naturally occurring Substance, or a synthetic analogue of such a substance or an Organism that is capable of inflicting severe harm on other Organisms. All BiologicalWeapons contain a BiologicalAgent.") WMD.kif 146-149 Biological agent is a subclass of biochemical agent
(partition BiologicalAgent Toxin ToxicOrganism) WMD.kif 150-150 Biological agent is exhaustively partitioned into toxin and toxic organism
(externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ EscherichiaColi_NIAID.jpg") pictureList.kif 9907-9907 Biological agent is exhaustively partitioned into toxin and toxic organism
(externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Ricin_structure.png") pictureList.kif 10518-10518 Biological agent is exhaustively partitioned into toxin and toxic organism
(externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Saxitoxin_structure.png") pictureList.kif 10519-10519 Biological agent is exhaustively partitioned into toxin and toxic organism
(externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ Botox_structure.png") pictureList.kif 10520-10520 Biological agent is exhaustively partitioned into toxin and toxic organism
(externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/en/ e/ e1/ Hiv-1_pdb_1ebz.png") pictureList.kif 10521-10521 Biological agent is exhaustively partitioned into toxin and toxic organism
(externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ 1993_Kameido_site_fluid_petri.jpg") pictureList.kif 10522-10522 Biological agent is exhaustively partitioned into toxin and toxic organism

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


(partition BiochemicalAgent BiologicalAgent ChemicalAgent) WMD.kif 82-82 Biochemical agent is exhaustively partitioned into biological agent and chemical agent
(rangeSubclass AgentOfOrganismFn BiologicalAgent) WMD.kif 88-88 The values returned by Agent of organism fn are subclasses of biological agent
(subclass ToxicOrganism BiologicalAgent) WMD.kif 151-151 Toxic organism is a subclass of biological agent
(subclass Toxin BiologicalAgent) WMD.kif 153-153 Toxin is a subclass of biological agent
(subclass AerosolizedBacillusAnthracis BiologicalAgent) WMD.kif 285-285 Aerosolized bacillus anthracis is a subclass of biological agent
(termFormat EnglishLanguage BiologicalAgent "biological agent") domainEnglishFormat.kif 11099-11099 Aerosolized bacillus anthracis is a subclass of biological agent
(termFormat ChineseTraditionalLanguage BiologicalAgent "生物製劑") domainEnglishFormat.kif 11100-11100 Aerosolized bacillus anthracis is a subclass of biological agent
(termFormat ChineseLanguage BiologicalAgent "生物制剂") domainEnglishFormat.kif 11101-11101 Aerosolized bacillus anthracis is a subclass of biological agent

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


(domainSubclass biologicalAgentCarrier 1 BiologicalAgent) WMD.kif 965-965 The number 1 argument of biological agent carrier is a subclass of biological agent

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


(=>
    (instance ?WEAPON BiologicalWeapon)
    (exists (?AGENT)
        (and
            (instance ?AGENT BiologicalAgent)
            (part ?AGENT ?WEAPON))))
WMD.kif 138-143 If X is an instance of biological weapon, then there exists Y such that Y is an instance of biological 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 is open source software produced by Articulate Software and its partners