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

KB Term:  Term intersection
English Word: 

Sigma KEE - ToxicOrganism
ToxicOrganism(toxic organism)

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


(subclass ToxicOrganism BiologicalAgent) WMD.kif 151-151 Toxic organism is a subclass of biological agent
(subclass ToxicOrganism Organism) WMD.kif 181-181 Toxic organism is a subclass of organism
(documentation ToxicOrganism EnglishLanguage "The Class of Organisms which are poisonous to other Organisms.") WMD.kif 182-183 Toxic organism is a subclass of organism

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


(subclass BacterialAgent ToxicOrganism) WMD.kif 192-192 Bacterial agent is a subclass of toxic organism
(subclass FungalAgent ToxicOrganism) WMD.kif 207-207 Fungal agent is a subclass of toxic organism
(subclass ViralAgent ToxicOrganism) WMD.kif 224-224 Viral agent is a subclass of toxic organism
(termFormat EnglishLanguage ToxicOrganism "toxic organism") domainEnglishFormat.kif 58675-58675 Viral agent is a subclass of toxic organism
(termFormat ChineseTraditionalLanguage ToxicOrganism "有毒生物") domainEnglishFormat.kif 58676-58676 Viral agent is a subclass of toxic organism
(termFormat ChineseLanguage ToxicOrganism "有毒生物") domainEnglishFormat.kif 58677-58677 Viral agent is a subclass of toxic organism

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


(partition BiologicalAgent Toxin ToxicOrganism) WMD.kif 150-150 Biological agent is exhaustively partitioned into toxin and toxic organism

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


(=>
    (instance ?ORGANISM ToxicOrganism)
    (exists (?SUBSTANCE)
        (and
            (instance ?SUBSTANCE Toxin)
            (part ?SUBSTANCE ?ORGANISM))))		 WMD.kif 185-190 If X is an instance of toxic organism, then there exists Y such that Y is an instance of toxin and Y is a part of X

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


(=>
    (instance ?SUBSTANCE Toxin)
    (exists (?ORGANISM ?PROCESS)
        (and
            (instance ?ORGANISM ToxicOrganism)
            (instance ?PROCESS BiologicalProcess)
            (instrument ?PROCESS ?ORGANISM)
            (or
                (result ?PROCESS ?SUBSTANCE)
                (exists (?RESULT)
                    (and
                        (result ?PROCESS ?RESULT)
                        (copy ?SUBSTANCE ?RESULT)))))))		 WMD.kif 160-172 If X is an instance of toxin, then there exist Y, Z such that Y is an instance of toxic organism, Z is an instance of biological process, Y is an instrument for Z, X is a result of Z or there exists W such that W is a result of Z, and X is a copy of W


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