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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - secretesToxin
secretesToxin

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


(documentation secretesToxin EnglishLanguage "(secretesToxin ?ORGANISM ?TOXIN) means that the subclass of Organism ?ORGANISM produces the subclass of Toxin ?TOXIN.") WMD.kif 940-941
(domainSubclass secretesToxin 1 Organism) WMD.kif 938-938 The number 1 argument of secretes toxin is a subclass of organism
(domainSubclass secretesToxin 2 Toxin) WMD.kif 939-939 The number 2 argument of secretes toxin is a subclass of toxin
(instance secretesToxin BinaryPredicate) WMD.kif 937-937 secretes toxin is an instance of binary predicate

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


(format ChineseLanguage secretesToxin "%2 %n 是 %1 的 secretes 毒素") domainEnglishFormat.kif 2219-2219
(format ChineseTraditionalLanguage secretesToxin "%2 %n 是 %1 的 secretes 毒素") domainEnglishFormat.kif 2218-2218
(format EnglishLanguage secretesToxin "%2 is %n a secretes toxin of %1") domainEnglishFormat.kif 2217-2217
(termFormat ChineseLanguage secretesToxin "分泌毒素") domainEnglishFormat.kif 51740-51740
(termFormat ChineseTraditionalLanguage secretesToxin "分泌毒素") domainEnglishFormat.kif 51739-51739
(termFormat EnglishLanguage secretesToxin "secretes toxin") domainEnglishFormat.kif 51738-51738

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


(=>
    (secretesToxin ?FROG Batrachotoxin)
    (subclass ?FROG Amphibian))
WMD.kif 313-315
(=>
    (secretesToxin ?ORGANISM ?TOXIN)
    (forall (?INSTANCE1)
        (=>
            (instance ?INSTANCE1 ?ORGANISM)
            (exists (?PROCESS ?INSTANCE2)
                (and
                    (instance ?PROCESS BiologicalProcess)
                    (experiencer ?PROCESS ?INSTANCE1)
                    (result ?PROCESS ?INSTANCE2)
                    (instance ?INSTANCE2 ?TOXIN))))))
WMD.kif 943-953

appearance as argument number 0
-------------------------


(secretesToxin ClostridiumBotulinum BotulinumToxin) WMD.kif 318-318 Botulinum toxin is a secretes toxin of clostridium botulinum
(secretesToxin ClostridiumPerfringens EpsilonToxin) WMD.kif 341-341 Epsilon toxin is a secretes toxin of clostridium perfringens
(secretesToxin ShigellaDysenteriae ShigaToxin) WMD.kif 1250-1250 Shiga toxin is a secretes toxin of shigella dysenteriae
(secretesToxin StaphyylococcusAureus StaphylococcalEnterotoxinB) WMD.kif 1333-1333 Staphylococcal enterotoxin b is a secretes toxin of staphyylococcus aureus


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners