Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| sideEffect |
| appearance as argument number 1 |
|
| (instance sideEffect BinaryPredicate) | WMD.kif 1534-1534 | side effect is an instance of binary predicate |
| (domainSubclass sideEffect 1 BiologicallyActiveSubstance) | WMD.kif 1535-1535 | The number 1 argument of side effect is a subclass of biologically active substance |
| (domain sideEffect 2 DiseaseOrSyndrome) | WMD.kif 1536-1536 | The number 2 argument of side effect is an instance of disease or syndrome |
| (documentation sideEffect EnglishLanguage "A predicate that is used to specify a side effect of a substance used in a medical treatment. (sideEffect ?SUBSTANCE ?SYNDROME) means that the BiologicallyActiveSubstance ?SUBSTANCE has the side effect ?SYNDROME.") | WMD.kif 1537-1539 | The number 2 argument of side effect is an instance of disease or syndrome |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage sideEffect "%2 is a side effect of taking %1") | domainEnglishFormat.kif 4520-4520 | |
| (format ChineseTraditionalLanguage sideEffect "%2 是服用 %1 的 side effect ") | domainEnglishFormat.kif 4521-4521 | |
| (format ChineseLanguage sideEffect "%2 是服用 %1 的 side effect ") | domainEnglishFormat.kif 4522-4522 | |
| (termFormat EnglishLanguage sideEffect "side effect") | domainEnglishFormat.kif 52935-52935 | |
| (termFormat ChineseTraditionalLanguage sideEffect "副作用") | domainEnglishFormat.kif 52936-52936 | |
| (termFormat ChineseLanguage sideEffect "副作用") | domainEnglishFormat.kif 52937-52937 |
| antecedent |
|
|
| (=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?D) (instance ?D ?DC) (sideEffect ?DC ?DIS)) (modalAttribute (attribute ?H ?DIS) Likely)) |
WMD.kif 1541-1550 | If X is an instance of ingesting, Y experiences X, the object transferred in X is Z, Z is an instance of W, and V is a side effect of taking W, then the statement V is an attribute of Y has the modal force of likely |
| appearance as argument number 0 |
|
|
|