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

KB Term:  Term intersection
English Word: 

Sigma KEE - ToxicOrganism
ToxicOrganism

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


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

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


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

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


(partition BiologicalAgent Toxin ToxicOrganism) WMD.kif 150-150

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


(=>
    (instance ?ORGANISM ToxicOrganism)
    (exists (?SUBSTANCE)
        (and
            (instance ?SUBSTANCE Toxin)
            (part ?SUBSTANCE ?ORGANISM))))		 WMD.kif 185-190

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


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