TreeView Knowledge Base Browser - biochemicalAgentSyndrome

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 763-765
No TPTP formula. May not be expressible in strict first order.	WMD.kif 762-762	O argumento numero 2 de biochemicalAgentSyndrome e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 761-761	O argumento numero 1 de biochemicalAgentSyndrome e' uma sub-classe de BiochemicalAgent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 760-760	biochemicalAgentSyndrome e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 296-296
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 295-295
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 294-294
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11045-11045
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11044-11044
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11043-11043

antecedent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 775-779	biochemicalAgentSyndrome BiochemicalAgent and Doenca ou Sindrome diseaseSymptom Doenca ou Sindrome and Doenca ou Sindrome biochemicalAgentSyndrome BiochemicalAgent and Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1124-1129	Entidade e' uma instancia de BacterialAgent Entidade e' uma instancia de BiochemicalAgent biochemicalAgentSyndrome BiochemicalAgent and Doenca ou Sindrome Doenca ou Sindrome e' uma instancia de BacterialDisease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1035-1040	Doenca ou Sindrome e' uma instancia de LifeThreateningDisease Entidade e' uma instancia de BiochemicalAgent biochemicalAgentSyndrome BiochemicalAgent and Doenca ou Sindrome Entidade e' uma instancia de LifeThreateningAgent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1131-1136	Entidade e' uma instancia de ViralAgent Entidade e' uma instancia de BiochemicalAgent biochemicalAgentSyndrome BiochemicalAgent and Doenca ou Sindrome Doenca ou Sindrome e' uma instancia de ViralDisease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1773-1775	biochemicalAgentSyndrome HepatitisVirus and Doenca ou Sindrome Doenca ou Sindrome e' uma instancia de Hepatitis

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 775-779	biochemicalAgentSyndrome BiochemicalAgent and Doenca ou Sindrome diseaseSymptom Doenca ou Sindrome and Doenca ou Sindrome biochemicalAgentSyndrome BiochemicalAgent and Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2029-2034	BiochemicalAgent e' uma sub-classe de TickBorneEncephalitisVirus Doenca ou Sindrome Doenca ou Sindrome e' uma instancia de TickBorneEncephalitis biochemicalAgentSyndrome BiochemicalAgent and Doenca ou Sindrome

statement

No TPTP formula. May not be expressible in strict first order.	WMD.kif 921-929	biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE e' uma instancia de ?SUBSTANCE ?THERAPY e' uma instancia de ?PROCESS ?ORGANISM experimenta ?THERAPY ?SAMPLE e' um patient de ?THERAPY diminui a probabilidade de ?SYMPTOM e' um atributo de ?ORGANISM
No TPTP formula. May not be expressible in strict first order.	WMD.kif 767-773	biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS e' uma instancia de ?PROCESSTYPE ?ORGANISM experimenta ?PROCESS aumenta a probabilidade de ?SYMPTOM e' um atributo de ?ORGANISM

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	WMD.kif 293-293	biochemicalAgentSyndrome AerosolizedBacillusAnthracis and InhalationalAnthrax
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1829-1829	biochemicalAgentSyndrome Aflatoxin and Aflatoxicosis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 280-280	biochemicalAgentSyndrome BacillusAnthracis and Anthrax
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1587-1587	biochemicalAgentSyndrome BordetellaPertussis and Pertussis
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1422-1422	biochemicalAgentSyndrome Borrelia and LymeDisease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 327-327	biochemicalAgentSyndrome BotulinumToxin and Botulism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 387-387	biochemicalAgentSyndrome BrucellaBacterium and Brucellosis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 358-358	biochemicalAgentSyndrome BurkholderiaMallei and Glanders
No TPTP formula. May not be expressible in strict first order.	WMD.kif 376-376	biochemicalAgentSyndrome BurkholderiaPseudomallei and Melioidosis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1596-1596	biochemicalAgentSyndrome ChlamydiaPsittaci and Psittacosis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 614-614	biochemicalAgentSyndrome Chloropicrin and Gastroenteritis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1508-1508	biochemicalAgentSyndrome ClostridiumTetani and Tetanus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1398-1398	biochemicalAgentSyndrome CoccidiodesPosadasii and RiftValleyFever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1386-1386	biochemicalAgentSyndrome CoccidioidesImmitis and RiftValleyFever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1471-1471	biochemicalAgentSyndrome Conotoxin and ParalyticShellfishPoisoning
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1897-1897	biochemicalAgentSyndrome CorynebacteriumDiphtheriae and Diphtheria
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1249-1249	biochemicalAgentSyndrome CoxiellaBurnetii and QFever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1920-1920	biochemicalAgentSyndrome CrimeanCongoHemorrhagicFeverVirus and CrimeanCongoHemorrhagicFever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1639-1639	biochemicalAgentSyndrome DengueFeverVirus and DengueFever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1640-1640	biochemicalAgentSyndrome DengueFeverVirus and DengueHemorrhagicFever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1691-1691	biochemicalAgentSyndrome EasternEquineEncephalitisVirus and EasternEquineEncephalitis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1196-1196	biochemicalAgentSyndrome EbolaVirus and EbolaHemorrhagicFever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1206-1206	biochemicalAgentSyndrome FrancisellaTularensis and Tularemia
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1364-1364	biochemicalAgentSyndrome GiardiaLamblia and Gastroenteritis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1950-1950	biochemicalAgentSyndrome GuanaritoVirus and VenezuelanHemorrhagicFever

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: