Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| biochemicalAgentSyndrome |
| appearance as argument number 1 |
|
| (instance biochemicalAgentSyndrome BinaryPredicate) | WMD.kif 755-755 | biochemical agent syndrome is an instance of binary predicate |
| (domainSubclass biochemicalAgentSyndrome 1 BiochemicalAgent) | WMD.kif 756-756 | The number 1 argument of biochemical agent syndrome is a subclass of biochemical agent |
| (domain biochemicalAgentSyndrome 2 DiseaseOrSyndrome) | WMD.kif 757-757 | The number 2 argument of biochemical agent syndrome is an instance of disease or syndrome |
| (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 | The number 2 argument of biochemical agent syndrome is an instance of disease or syndrome |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage biochemicalAgentSyndrome "%2 is %n a biochemical agent syndrome of %1") | domainEnglishFormat.kif 294-294 | |
| (format ChineseTraditionalLanguage biochemicalAgentSyndrome "%2 %n 是 %1 的 biochemical 病毒徵兆") | domainEnglishFormat.kif 295-295 | |
| (format ChineseLanguage biochemicalAgentSyndrome "%2 %n 是 %1 的 biochemical 病毒征兆") | domainEnglishFormat.kif 296-296 | |
| (termFormat EnglishLanguage biochemicalAgentSyndrome "biochemical agent syndrome") | domainEnglishFormat.kif 11051-11051 | |
| (termFormat ChineseTraditionalLanguage biochemicalAgentSyndrome "生化藥物綜合症") | domainEnglishFormat.kif 11052-11052 | |
| (termFormat ChineseLanguage biochemicalAgentSyndrome "生化药物综合症") | domainEnglishFormat.kif 11053-11053 |
| antecedent |
|
|
| consequent |
|
|
| (=> (and (biochemicalAgentSyndrome ?AGENT ?SYNDROME) (diseaseSymptom ?SYNDROME ?SYMPTOM)) (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)) |
WMD.kif 770-774 | If X is a biochemical agent syndrome of Y and Z is a disease symptom of X, then Z is a biochemical agent syndrome of Y |
| (=> (subclass ?VIRUS TickBorneEncephalitisVirus) (exists (?DISEASE) (and (instance ?DISEASE TickBorneEncephalitis) (biochemicalAgentSyndrome ?VIRUS ?DISEASE)))) |
WMD.kif 2025-2030 | If X is a subclass of tick borne encephalitis virus, then there exists Y such that Y is an instance of tick borne encephalitis and Y is a biochemical agent syndrome of X |
| statement |
|
|
| (increasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE) (instance ?PROCESS ?PROCESSTYPE) (experiencer ?PROCESS ?ORGANISM)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 762-768 | ?SYMPTOM is a biochemical agent syndrome of ?AGENT, ?PROCESSTYPE is a biochemical agent delivery of ?AGENT, ?PROCESS is an instance of ?PROCESSTYPE, and ?ORGANISM experiences ?PROCESS increases likelihood of ?SYMPTOM is an attribute of ?ORGANISM |
| (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 916-924 | ?SYMPTOM is a biochemical agent syndrome of ?AGENT, ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS, ?SAMPLE is an instance of ?SUBSTANCE, ?THERAPY is an instance of ?PROCESS, ?ORGANISM experiences ?THERAPY, and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM |
| appearance as argument number 0 |
|
|
|