Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Paralysis
|
|
|
| appearance as argument number 1 |
|
|
| (instance Paralysis DiseaseOrSyndrome) | Mid-level-ontology.kif 7422-7422 | Paralysis is an instance of disease or syndrome |
| (documentation Paralysis EnglishLanguage "The syndrome where some or all of an Animal's muscles cannot be moved voluntarily.") | Mid-level-ontology.kif 7423-7424 | Paralysis is an instance of disease or syndrome |
| appearance as argument number 2 |
|
|
| (diseaseSymptom Botulism Paralysis) | WMD.kif 330-330 | Paralysis is a disease symptom of botulism |
| (biochemicalAgentSyndrome NerveAgent Paralysis) | WMD.kif 555-555 | Paralysis is a biochemical agent syndrome of nerve agent |
| (diseaseSymptom ParalyticShellfishPoisoning Paralysis) | WMD.kif 1459-1459 | Paralysis is a disease symptom of paralytic shellfish poisoning |
| (termFormat EnglishLanguage Paralysis "paralysis") | domainEnglishFormat.kif 44393-44393 | Paralysis is a disease symptom of paralytic shellfish poisoning |
| (termFormat ChineseTraditionalLanguage Paralysis "麻痺") | domainEnglishFormat.kif 44394-44394 | Paralysis is a disease symptom of paralytic shellfish poisoning |
| (termFormat ChineseLanguage Paralysis "麻痹") | domainEnglishFormat.kif 44395-44395 | Paralysis is a disease symptom of paralytic shellfish poisoning |
| antecedent |
|
|
| (=> (attribute ?ORGANISM Paralysis) (exists (?MUSCLE) (and (instance ?MUSCLE Muscle) (part ?MUSCLE ?ORGANISM) (not (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ORGANISM) (patient ?MOTION ?MUSCLE))))))) |
Mid-level-ontology.kif 7426-7437 | If paralysis is an attribute of X, then there exists Y such that Y is an instance of muscle, Y is a part of X, there doesn't exist Z such that Z is an instance of body motion, X is an agent of Z, and Y is a patient of Z |
| consequent |
|
|
| (=> (equal ?P (ParalysisFn ?O)) (subAttribute ?P Paralysis)) |
Mid-level-ontology.kif 7447-7449 | If equal X and paralysis of the Y, then X is a subattribute of paralysis |
|