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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - biochemicalAgentSyndrome
biochemicalAgentSyndrome

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


s__documentation(s__biochemicalAgentSyndrome__m,s__EnglishLanguage,'"Relates a subclass of BiochemicalAgent to a DiseaseOrSyndrome that is caused by or often associated with the BiochemicalAgent."')

WMD.kif 758-760
s__domain(s__biochemicalAgentSyndrome__m,n__2,s__DiseaseOrSyndrome)

WMD.kif 757-757 The number 2 argument of biochemical agent syndrome is an instance of disease or syndrome
s__domainSubclass(s__biochemicalAgentSyndrome__m,n__1,s__BiochemicalAgent)

WMD.kif 756-756 The number 1 argument of biochemical agent syndrome is a subclass of biochemical agent
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__biochemicalAgentSyndrome__m,s__BinaryPredicate)

WMD.kif 755-755 biochemical agent syndrome is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__biochemicalAgentSyndrome__m,'"%2 %n 是 %1 的 biochemical 病毒征兆"')

domainEnglishFormat.kif 296-296
s__format(s__ChineseTraditionalLanguage,s__biochemicalAgentSyndrome__m,'"%2 %n 是 %1 的 biochemical 病毒徵兆"')

domainEnglishFormat.kif 295-295
s__format(s__EnglishLanguage,s__biochemicalAgentSyndrome__m,'"%2 is %n a biochemical agent syndrome of %1"')

domainEnglishFormat.kif 294-294
s__termFormat(s__ChineseLanguage,s__biochemicalAgentSyndrome__m,'"生化药物综合症"')

domainEnglishFormat.kif 11054-11054
s__termFormat(s__ChineseTraditionalLanguage,s__biochemicalAgentSyndrome__m,'"生化藥物綜合症"')

domainEnglishFormat.kif 11053-11053
s__termFormat(s__EnglishLanguage,s__biochemicalAgentSyndrome__m,'"biochemical agent syndrome"')

domainEnglishFormat.kif 11052-11052

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


( ! [V__AGENT,V__SYNDROME,V__SYMPTOM] :
   (((s__subclass(V__AGENT,s__BiochemicalAgent) &
         s__instance(V__SYNDROME,s__DiseaseOrSyndrome) &
         s__instance(V__SYMPTOM,s__DiseaseOrSyndrome))
       =>
       (((s__biochemicalAgentSyndrome(V__AGENT,V__SYNDROME)
           &
           s__diseaseSymptom(V__SYNDROME,V__SYMPTOM))
       =>
       (s__biochemicalAgentSyndrome(V__AGENT,V__SYMPTOM)))))
)
)

WMD.kif 770-774
( ! [V__SYNDROME,V__BACTERIUM] :
   (((s__instance(V__SYNDROME,s__DiseaseOrSyndrome) &
         s__subclass(V__BACTERIUM,s__BiochemicalAgent))
       =>
       (((s__instance(V__BACTERIUM,s__BacterialAgent) &
             s__biochemicalAgentSyndrome(V__BACTERIUM,V__SYNDROME))
         =>
         (s__instance(V__SYNDROME,s__BacterialDisease)))))
   )
)

WMD.kif 1112-1116
( ! [V__AGENT,V__DISEASE] :
   ((s__subclass(V__AGENT,s__BiochemicalAgent) =>
       (((s__instance(V__DISEASE,s__LifeThreateningDisease) &
             s__biochemicalAgentSyndrome(V__AGENT,V__DISEASE))
         =>
         (s__instance(V__AGENT,s__LifeThreateningAgent)))))
   )
)

WMD.kif 1021-1025
( ! [V__VIRUS,V__SYNDROME] :
   (((s__subclass(V__VIRUS,s__BiochemicalAgent) &
         s__instance(V__SYNDROME,s__DiseaseOrSyndrome))
       =>
       (((s__instance(V__VIRUS,s__ViralAgent) &
             s__biochemicalAgentSyndrome(V__VIRUS,V__SYNDROME))
         =>
         (s__instance(V__SYNDROME,s__ViralDisease)))))
   )
)

WMD.kif 1118-1122
( ! [V__DISEASE] :
   ((s__instance(V__DISEASE,s__DiseaseOrSyndrome) =>
       ((s__biochemicalAgentSyndrome(s__HepatitisVirus,V__DISEASE)
         =>
         (s__instance(V__DISEASE,s__Hepatitis)))))
   )
)

WMD.kif 1712-1714

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


( ! [V__AGENT,V__SYNDROME,V__SYMPTOM] :
   (((s__subclass(V__AGENT,s__BiochemicalAgent) &
         s__instance(V__SYNDROME,s__DiseaseOrSyndrome) &
         s__instance(V__SYMPTOM,s__DiseaseOrSyndrome))
       =>
       (((s__biochemicalAgentSyndrome(V__AGENT,V__SYNDROME)
           &
           s__diseaseSymptom(V__SYNDROME,V__SYMPTOM))
       =>
       (s__biochemicalAgentSyndrome(V__AGENT,V__SYMPTOM)))))
)
)

WMD.kif 770-774
( ! [V__VIRUS] :
   (((s__subclass(V__VIRUS,s__BiochemicalAgent) &
         s__instance(V__VIRUS,s__Class))
       =>
       ((s__subclass(V__VIRUS,s__TickBorneEncephalitisVirus) =>
           (( ? [V__DISEASE] :
               ((s__instance(V__DISEASE,s__TickBorneEncephalitis) &
                   s__biochemicalAgentSyndrome(V__VIRUS,V__DISEASE))))))))
   )
)

WMD.kif 1963-1968

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 912-920 ?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS and ?SAMPLE is an instance of ?SUBSTANCE and ?THERAPY is an instance of ?PROCESS and ?ORGANISM experiences ?THERAPY and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM
No TPTP formula. May not be expressible in strict first order. WMD.kif 762-768 ?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?PROCESSTYPE is a biochemical agent delivery of ?AGENT and ?PROCESS is an instance of ?PROCESSTYPE and ?ORGANISM experiences ?PROCESS increases likelihood of ?SYMPTOM is an attribute of ?ORGANISM

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


s__biochemicalAgentSyndrome(s__AerosolizedBacillusAnthracis,s__InhalationalAnthrax)

WMD.kif 293-293 Inhalational anthrax is a biochemical agent syndrome of aerosolized bacillus anthracis
s__biochemicalAgentSyndrome(s__Aflatoxin,s__Aflatoxicosis)

WMD.kif 1768-1768 Aflatoxicosis is a biochemical agent syndrome of aflatoxin
s__biochemicalAgentSyndrome(s__BacillusAnthracis,s__Anthrax)

WMD.kif 280-280 Anthrax is a biochemical agent syndrome of bacillus anthracis
s__biochemicalAgentSyndrome(s__BordetellaPertussis,s__Pertussis)

WMD.kif 1525-1525 Pertussis is a biochemical agent syndrome of bordetella pertussis
s__biochemicalAgentSyndrome(s__BotulinumToxin,s__Botulism)

WMD.kif 327-327 Botulism is a biochemical agent syndrome of botulinum toxin
s__biochemicalAgentSyndrome(s__BrucellaBacterium,s__Brucellosis)

WMD.kif 387-387 Brucellosis is a biochemical agent syndrome of brucella bacterium
s__biochemicalAgentSyndrome(s__BurkholderiaMallei,s__Glanders)

WMD.kif 358-358 Glanders is a biochemical agent syndrome of burkholderia mallei
s__biochemicalAgentSyndrome(s__BurkholderiaPseudomallei,s__Melioidosis)

WMD.kif 376-376 Melioidosis is a biochemical agent syndrome of burkholderia pseudomallei
s__biochemicalAgentSyndrome(s__ChlamydiaPsittaci,s__Psittacosis)

WMD.kif 1534-1534 Psittacosis is a biochemical agent syndrome of chlamydia psittaci
s__biochemicalAgentSyndrome(s__Chloropicrin,s__Gastroenteritis)

WMD.kif 609-609 Gastroenteritis is a biochemical agent syndrome of chloropicrin
s__biochemicalAgentSyndrome(s__ClostridiumTetani,s__Tetanus)

WMD.kif 1478-1478 Tetanus is a biochemical agent syndrome of clostridium tetani
s__biochemicalAgentSyndrome(s__CoccidiodesPosadasii,s__RiftValleyFever)

WMD.kif 1368-1368 Rift valley fever is a biochemical agent syndrome of coccidiodes posadasii
s__biochemicalAgentSyndrome(s__CoccidioidesImmitis,s__RiftValleyFever)

WMD.kif 1361-1361 Rift valley fever is a biochemical agent syndrome of coccidioides immitis
s__biochemicalAgentSyndrome(s__Conotoxin,s__ParalyticShellfishPoisoning)

WMD.kif 1441-1441 Paralytic shellfish poisoning is a biochemical agent syndrome of conotoxin
s__biochemicalAgentSyndrome(s__CorynebacteriumDiphtheriae,s__Diphtheria)

WMD.kif 1836-1836 Diphtheria is a biochemical agent syndrome of corynebacterium diphtheriae
s__biochemicalAgentSyndrome(s__CoxiellaBurnetii,s__QFever)

WMD.kif 1235-1235 Q fever is a biochemical agent syndrome of coxiella burnetii
s__biochemicalAgentSyndrome(s__CrimeanCongoHemorrhagicFeverVirus,s__CrimeanCongoHemorrhagicFever)

WMD.kif 1859-1859 Crimean congo hemorrhagic fever is a biochemical agent syndrome of crimean congo hemorrhagic fever virus
s__biochemicalAgentSyndrome(s__DengueFeverVirus,s__DengueFever)

WMD.kif 1578-1578 Dengue fever is a biochemical agent syndrome of dengue fever virus
s__biochemicalAgentSyndrome(s__DengueFeverVirus,s__DengueHemorrhagicFever)

WMD.kif 1579-1579 Dengue hemorrhagic fever is a biochemical agent syndrome of dengue fever virus
s__biochemicalAgentSyndrome(s__EasternEquineEncephalitisVirus,s__EasternEquineEncephalitis)

WMD.kif 1630-1630 Eastern equine encephalitis is a biochemical agent syndrome of eastern equine encephalitis virus
s__biochemicalAgentSyndrome(s__EbolaVirus,s__EbolaHemorrhagicFever)

WMD.kif 1182-1182 Ebola hemorrhagic fever is a biochemical agent syndrome of ebola virus
s__biochemicalAgentSyndrome(s__FrancisellaTularensis,s__Tularemia)

WMD.kif 1192-1192 Tularemia is a biochemical agent syndrome of francisella tularensis
s__biochemicalAgentSyndrome(s__GiardiaLamblia,s__Gastroenteritis)

WMD.kif 1349-1349 Gastroenteritis is a biochemical agent syndrome of giardia lamblia
s__biochemicalAgentSyndrome(s__GuanaritoVirus,s__VenezuelanHemorrhagicFever)

WMD.kif 1889-1889 Venezuelan hemorrhagic fever is a biochemical agent syndrome of guanarito virus
s__biochemicalAgentSyndrome(s__HIVVirus,s__AcquiredImmunoDeficiencySyndrome)

WMD.kif 1334-1334 Acquired immuno deficiency syndrome is a biochemical agent syndrome of HIV virus

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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