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 985-986
(domainSubclass secretesToxin 1 Organism) WMD.kif 983-983 Le nombre 1 argument de secretesToxin est une sous-classe de organisme
(domainSubclass secretesToxin 2 Toxin) WMD.kif 984-984 Le nombre 2 argument de secretesToxin est une sous-classe de Toxin
(instance secretesToxin BinaryPredicate) WMD.kif 982-982 secretesToxin est une instance de pr�dicat binaire

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


(format ChineseLanguage secretesToxin "%2 %n 是 %1 的 secretes 毒素") domainEnglishFormat.kif 2223-2223
(format ChineseTraditionalLanguage secretesToxin "%2 %n 是 %1 的 secretes 毒素") domainEnglishFormat.kif 2222-2222
(format EnglishLanguage secretesToxin "%2 is %n a secretes toxin of %1") domainEnglishFormat.kif 2221-2221
(termFormat ChineseLanguage secretesToxin "分泌毒素") domainEnglishFormat.kif 51843-51843
(termFormat ChineseTraditionalLanguage secretesToxin "分泌毒素") domainEnglishFormat.kif 51842-51842
(termFormat EnglishLanguage secretesToxin "secretes toxin") domainEnglishFormat.kif 51841-51841

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 988-998

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


(secretesToxin ClostridiumBotulinum BotulinumToxin) WMD.kif 318-318 secretesToxin ClostridiumBotulinum and BotulinumToxin
(secretesToxin ClostridiumPerfringens EpsilonToxin) WMD.kif 341-341 secretesToxin ClostridiumPerfringens and EpsilonToxin
(secretesToxin ShigellaDysenteriae ShigaToxin) WMD.kif 1332-1332 secretesToxin ShigellaDysenteriae and ShigaToxin
(secretesToxin StaphylococcusAureus StaphylococcalEnterotoxinB) WMD.kif 1430-1430 secretesToxin StaphylococcusAureus and StaphylococcalEnterotoxinB


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