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 757-759
s__domain(s__biochemicalAgentSyndrome__m,2,s__DiseaseOrSyndrome)

WMD.kif 756-756
s__domainSubclass(s__biochemicalAgentSyndrome__m,1,s__BiochemicalAgent)

WMD.kif 755-755
s__instance(s__biochemicalAgentSyndrome__m,s__BinaryPredicate)

WMD.kif 754-754

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


s__format(s__EnglishLanguage,s__biochemicalAgentSyndrome__m,'%2 is %n a biochemical agent syndrome of %1')

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

domainEnglishFormat.kif 2265-2265

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


( ! [V__AGENT,V__SYNDROME,V__SYMPTOM] :
   ((s__biochemicalAgentSyndrome(V__AGENT,V__SYNDROME)
     &
     s__diseaseSymptom(V__SYNDROME,V__SYMPTOM))
=>
s__biochemicalAgentSyndrome(V__AGENT,V__SYMPTOM))
)

WMD.kif 769-773
( ! [V__BACTERIUM,V__SYNDROME] :
   ((s__instance(V__BACTERIUM,s__BacterialAgent) &
       s__biochemicalAgentSyndrome(V__BACTERIUM,V__SYNDROME))
   =>
   s__instance(V__SYNDROME,s__BacterialDisease))
)

WMD.kif 1036-1040
( ! [V__DISEASE,V__AGENT] :
   ((s__instance(V__DISEASE,s__LifeThreateningDisease) &
       s__biochemicalAgentSyndrome(V__AGENT,V__DISEASE))
   =>
   s__instance(V__AGENT,s__LifeThreateningAgent))
)

WMD.kif 979-983
( ! [V__VIRUS,V__SYNDROME] :
   ((s__instance(V__VIRUS,s__ViralAgent) &
       s__biochemicalAgentSyndrome(V__VIRUS,V__SYNDROME))
   =>
   s__instance(V__SYNDROME,s__ViralDisease))
)

WMD.kif 1042-1046
( ! [V__DISEASE] :
   (s__biochemicalAgentSyndrome(s__HepatitisVirus,V__DISEASE)
   =>
   s__instance(V__DISEASE,s__Hepatitis))
)

WMD.kif 1622-1624

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


( ! [V__AGENT,V__SYNDROME,V__SYMPTOM] :
   ((s__biochemicalAgentSyndrome(V__AGENT,V__SYNDROME)
     &
     s__diseaseSymptom(V__SYNDROME,V__SYMPTOM))
=>
s__biochemicalAgentSyndrome(V__AGENT,V__SYMPTOM))
)

WMD.kif 769-773
( ! [V__VIRUS] :
   (s__subclass(V__VIRUS,s__TickBorneEncephalitisVirus) =>
     (? [V__DISEASE] :
       (s__instance(V__DISEASE,s__TickBorneEncephalitis) &
         s__biochemicalAgentSyndrome(V__VIRUS,V__DISEASE))))
)

WMD.kif 1829-1834

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 870-878
No TPTP formula. May not be expressible in strict first order. WMD.kif 761-767

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


s__biochemicalAgentSyndrome(s__AerosolizedBacillusAnthracis,s__InhalationalAnthrax)

WMD.kif 293-293
s__biochemicalAgentSyndrome(s__Aflatoxin,s__Aflatoxicosis)

WMD.kif 1678-1678
s__biochemicalAgentSyndrome(s__BacillusAnthracis,s__Anthrax)

WMD.kif 280-280
s__biochemicalAgentSyndrome(s__BordetellaPertussis,s__Pertussis)

WMD.kif 1435-1435
s__biochemicalAgentSyndrome(s__BotulinumToxin,s__Botulism)

WMD.kif 327-327
s__biochemicalAgentSyndrome(s__BrucellaBacterium,s__Brucellosis)

WMD.kif 387-387
s__biochemicalAgentSyndrome(s__BurkholderiaMallei,s__Glanders)

WMD.kif 358-358
s__biochemicalAgentSyndrome(s__BurkholderiaPseudomallei,s__Melioidosis)

WMD.kif 376-376
s__biochemicalAgentSyndrome(s__ChlamydiaPsittaci,s__Psittacosis)

WMD.kif 1444-1444
s__biochemicalAgentSyndrome(s__Chloropicrin,s__Gastroenteritis)

WMD.kif 609-609
s__biochemicalAgentSyndrome(s__ClostridiumTetani,s__Tetanus)

WMD.kif 1394-1394
s__biochemicalAgentSyndrome(s__CoccidiodesPosadasii,s__RiftValleyFever)

WMD.kif 1284-1284
s__biochemicalAgentSyndrome(s__CoccidioidesImmitis,s__RiftValleyFever)

WMD.kif 1277-1277
s__biochemicalAgentSyndrome(s__Conotoxin,s__ParalyticShellfishPoisoning)

WMD.kif 1357-1357
s__biochemicalAgentSyndrome(s__CorynebacteriumDiphtheriae,s__Diphtheria)

WMD.kif 1746-1746
s__biochemicalAgentSyndrome(s__CoxiellaBurnetii,s__QFever)

WMD.kif 1153-1153
s__biochemicalAgentSyndrome(s__CrimeanCongoHemorrhagicFeverVirus,s__CrimeanCongoHemorrhagicFever)

WMD.kif 1769-1769
s__biochemicalAgentSyndrome(s__DengueFeverVirus,s__DengueFever)

WMD.kif 1488-1488
s__biochemicalAgentSyndrome(s__DengueFeverVirus,s__DengueHemorrhagicFever)

WMD.kif 1489-1489
s__biochemicalAgentSyndrome(s__EasternEquineEncephalitisVirus,s__EasternEquineEncephalitis)

WMD.kif 1540-1540
s__biochemicalAgentSyndrome(s__EbolaVirus,s__EbolaHemorrhagicFever)

WMD.kif 1106-1106
s__biochemicalAgentSyndrome(s__FrancisellaTularensis,s__Tularemia)

WMD.kif 1116-1116
s__biochemicalAgentSyndrome(s__GiardiaLamblia,s__Gastroenteritis)

WMD.kif 1265-1265
s__biochemicalAgentSyndrome(s__GuanaritoVirus,s__VenezuelanHemorrhagicFever)

WMD.kif 1799-1799
s__biochemicalAgentSyndrome(s__HIVVirus,s__AcquiredImmunoDeficiencySyndrome)

WMD.kif 1250-1250

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