| 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 758-760 | |
| (domain biochemicalAgentSyndrome 2 DiseaseOrSyndrome) | WMD.kif 757-757 | |
| (domainSubclass biochemicalAgentSyndrome 1 BiochemicalAgent) | WMD.kif 756-756 | |
| (instance biochemicalAgentSyndrome BinaryPredicate) | WMD.kif 755-755 |
| 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 11063-11063 | |
| (termFormat ChineseTraditionalLanguage biochemicalAgentSyndrome "生化藥物綜合症") | domainEnglishFormat.kif 11062-11062 | |
| (termFormat EnglishLanguage biochemicalAgentSyndrome "biochemical agent syndrome") | domainEnglishFormat.kif 11061-11061 |
| antecedent |
|
|
| (=> (and (biochemicalAgentSyndrome ?AGENT ?SYNDROME) (diseaseSymptom ?SYNDROME ?SYMPTOM)) (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)) |
WMD.kif 770-774 | |
| (=> (and (instance ?BACTERIUM BacterialAgent) (biochemicalAgentSyndrome ?BACTERIUM ?SYNDROME)) (instance ?SYNDROME BacterialDisease)) |
WMD.kif 1045-1049 | |
| (=> (and (instance ?DISEASE LifeThreateningDisease) (biochemicalAgentSyndrome ?AGENT ?DISEASE)) (instance ?AGENT LifeThreateningAgent)) |
WMD.kif 988-992 | |
| (=> (and (instance ?VIRUS ViralAgent) (biochemicalAgentSyndrome ?VIRUS ?SYNDROME)) (instance ?SYNDROME ViralDisease)) |
WMD.kif 1051-1055 | |
| (=> (biochemicalAgentSyndrome HepatitisVirus ?DISEASE) (instance ?DISEASE Hepatitis)) |
WMD.kif 1639-1641 |
| consequent |
|
|
| (=> (and (biochemicalAgentSyndrome ?AGENT ?SYNDROME) (diseaseSymptom ?SYNDROME ?SYMPTOM)) (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)) |
WMD.kif 770-774 | |
| (=> (subclass ?VIRUS TickBorneEncephalitisVirus) (exists (?DISEASE) (and (instance ?DISEASE TickBorneEncephalitis) (biochemicalAgentSyndrome ?VIRUS ?DISEASE)))) |
WMD.kif 1846-1851 |
| 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 879-887 | |
| (increasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE) (instance ?PROCESS ?PROCESSTYPE) (experiencer ?PROCESS ?ORGANISM)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 762-768 |
| 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