Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ParalysisFn |
| appearance as argument number 1 |
|
| (instance ParalysisFn UnaryFunction) | Mid-level-ontology.kif 7439-7439 | Paralysis is an instance of unary function |
| (documentation ParalysisFn EnglishLanguage "A Function that returns that class of Paralysis affecting a particular BodyPart of an Animal.") | Mid-level-ontology.kif 7440-7441 | Paralysis is an instance of unary function |
| (domain ParalysisFn 1 BodyPart) | Mid-level-ontology.kif 7442-7442 | The number 1 argument of paralysis is an instance of body part |
| (range ParalysisFn DiseaseOrSyndrome) | Mid-level-ontology.kif 7443-7443 | The range of paralysis is an instance of disease or syndrome |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ParalysisFn "paralysis") | Mid-level-ontology.kif 7444-7444 | |
| (format EnglishLanguage ParalysisFn "paralysis of the %1") | Mid-level-ontology.kif 7445-7445 |
| antecedent |
|
|
| (=> (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 |
| (=> (attribute ?ORGANISM (ParalysisFn ?PART)) (exists (?MUSCLE) (and (instance ?MUSCLE Muscle) (part ?MUSCLE ?PART) (part ?PART ?ORGANISM) (not (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ORGANISM) (patient ?MOTION ?MUSCLE))))))) |
Mid-level-ontology.kif 7451-7464 | If paralysis of the X is an attribute of Y, then there exists Z such that Z is an instance of muscle, Z is a part of X, X is a part of Y, there doesn't exist W such that W is an instance of body motion, Y is an agent of W, and Z is a patient of W |
| statement |
|
|
| (subclass FacialParalysis (ParalysisFn Face)) |
Medicine.kif 1838-1838 | Paralysis of the face is a subclass of paralysis of the face |
|