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 6321-6322
(domain ParalysisFn 1 BodyPart)	Mid-level-ontology.kif 6323-6323	The number 1 argument of paralysis is an instance of body part
(instance ParalysisFn UnaryFunction)	Mid-level-ontology.kif 6320-6320	Paralysis is an instance of unary function
(rangeSubclass ParalysisFn Paralysis)	Mid-level-ontology.kif 6324-6324	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 6326-6326
(termFormat EnglishLanguage ParalysisFn "paralysis")	Mid-level-ontology.kif 6325-6325

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 6330-6344

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

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: