ParalysisFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ParalysisFn EnglishLanguage "A Function that returns that class of Paralysis affecting a particular BodyPart of an Animal.")	Mid-level-ontology.kif 7277-7278
(domain ParalysisFn 1 BodyPart)	Mid-level-ontology.kif 7279-7279	The number 1 argument of paralysis is an instance of body part
(instance ParalysisFn UnaryFunction)	Mid-level-ontology.kif 7276-7276	Paralysis is an instance of unary function
(rangeSubclass ParalysisFn Paralysis)	Mid-level-ontology.kif 7280-7280	The values returned by paralysis are subclasses of paralysis

appearance as argument number 2

(format EnglishLanguage ParalysisFn "paralysis of the %1")	Mid-level-ontology.kif 7282-7282
(termFormat EnglishLanguage ParalysisFn "paralysis")	Mid-level-ontology.kif 7281-7281

antecedent

(=>
    (attribute ?ORGANISM
        (instance ?P
            (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 7286-7300

If an entity is an instance of paralysis of the the entityART is an attribute of an agent,
then there exists another object such that the other object is an instance of muscle and the other object is a part of the entityART and the entityART is a part of the agent and there doesn't exist a process such that the process is an instance of body motion and the agent is an agent of the process and the other object is a patient of the process

statement

(subclass FacialParalysis
(ParalysisFn Face))

Medicine.kif 1847-1847

Paralysis of the face is a subclass of paralysis of the face

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

KB Term:			Term intersection

English Word: