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 6870-6871
(domain ParalysisFn 1 BodyPart)	Mid-level-ontology.kif 6872-6872	The number 1 argument of paralysis is an instance of body part
(instance ParalysisFn UnaryFunction)	Mid-level-ontology.kif 6869-6869	Paralysis is an instance of unary function
(rangeSubclass ParalysisFn Paralysis)	Mid-level-ontology.kif 6873-6873	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 6875-6875
(termFormat EnglishLanguage ParalysisFn "paralysis")	Mid-level-ontology.kif 6874-6874

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 6879-6893

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 1842-1842

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: