| appearance as argument number 1 |
|
| (documentation biochemicalAgentSyndrome EnglishLanguage "Relates a subclass of BiochemicalAgent to a DiseaseOrSyndrome that is caused by or often associated with the BiochemicalAgent.") | WMD.kif 763-765 | |
| (domain biochemicalAgentSyndrome 2 DiseaseOrSyndrome) | WMD.kif 762-762 | |
| (domainSubclass biochemicalAgentSyndrome 1 BiochemicalAgent) | WMD.kif 761-761 | |
| (instance biochemicalAgentSyndrome BinaryPredicate) | WMD.kif 760-760 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage biochemicalAgentSyndrome "%2 %n 是 %1 的 biochemical 病毒征兆") | domainEnglishFormat.kif 296-296 | |
| (format ChineseTraditionalLanguage biochemicalAgentSyndrome "%2 %n 是 %1 的 biochemical 病毒徵兆") | domainEnglishFormat.kif 295-295 | |
| (format EnglishLanguage biochemicalAgentSyndrome "%2 is %n a biochemical agent syndrome of %1") | domainEnglishFormat.kif 294-294 | |
| (termFormat ChineseLanguage biochemicalAgentSyndrome "生化药物综合症") | domainEnglishFormat.kif 11054-11054 | |
| (termFormat ChineseTraditionalLanguage biochemicalAgentSyndrome "生化藥物綜合症") | domainEnglishFormat.kif 11053-11053 | |
| (termFormat EnglishLanguage biochemicalAgentSyndrome "biochemical agent syndrome") | domainEnglishFormat.kif 11052-11052 |
| antecedent |
|
|
| (=> (and (biochemicalAgentSyndrome ?AGENT ?SYNDROME) (diseaseSymptom ?SYNDROME ?SYMPTOM)) (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)) |
WMD.kif 775-779 | |
| (=> (and (instance ?BACTERIUM BacterialAgent) (instance ?BACTERIUM ?CLASS) (biochemicalAgentSyndrome ?CLASS ?SYNDROME)) (instance ?SYNDROME BacterialDisease)) |
WMD.kif 1124-1129 | |
| (=> (and (instance ?DISEASE LifeThreateningDisease) (instance ?AGENT ?CLASS) (biochemicalAgentSyndrome ?CLASS ?DISEASE)) (instance ?AGENT LifeThreateningAgent)) |
WMD.kif 1035-1040 | |
| (=> (and (instance ?VIRUS ViralAgent) (instance ?VIRUS ?CLASS) (biochemicalAgentSyndrome ?CLASS ?SYNDROME)) (instance ?SYNDROME ViralDisease)) |
WMD.kif 1131-1136 | |
| (=> (biochemicalAgentSyndrome HepatitisVirus ?DISEASE) (instance ?DISEASE Hepatitis)) |
WMD.kif 1773-1775 |
| consequent |
|
|
| (=> (and (biochemicalAgentSyndrome ?AGENT ?SYNDROME) (diseaseSymptom ?SYNDROME ?SYMPTOM)) (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)) |
WMD.kif 775-779 | |
| (=> (subclass ?VIRUS TickBorneEncephalitisVirus) (exists (?DISEASE) (and (instance ?DISEASE TickBorneEncephalitis) (biochemicalAgentSyndrome ?VIRUS ?DISEASE)))) |
WMD.kif 2029-2034 |
| statement |
|
|
| (decreasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS) (instance ?SAMPLE ?SUBSTANCE) (instance ?THERAPY ?PROCESS) (experiencer ?THERAPY ?ORGANISM) (patient ?THERAPY ?SAMPLE)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 921-929 | |
| (increasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE) (instance ?PROCESS ?PROCESSTYPE) (experiencer ?PROCESS ?ORGANISM)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 767-773 |
| appearance as argument number 0 |
|
|
|
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