TreeView 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	Die Zahl 1 Argument von ParalysisFn ist ein fall von BodyPart %n{nicht}
(instance ParalysisFn UnaryFunction)	Mid-level-ontology.kif 6320-6320	ParalysisFn ist ein fall von UnaryFunction %n{nicht}
(rangeSubclass ParalysisFn Paralysis)	Mid-level-ontology.kif 6324-6324	Die werte die ParalysisFn zurueckgibt sind teilkategorien von 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

Wenn entity ist ein fall von ParalysisFn ** entityART %n{nicht} ist ein attribut von AutonomousAgent %n{nicht},
dann es gibt ** Object um ** ** Object ist ein fall von Muscle %n{nicht} und ** ** Object ist ein teil von ** entityART %n{nicht} und ** entityART ist ein teil von ** AutonomousAgent %n{nicht} und es gibt nicht Process um ** Process ist ein fall von BodyMotion %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** ** Object ist ein patient von ** Process %n{nicht}

statement

(subclass FacialParalysis
(ParalysisFn Face))

Medicine.kif 1854-1854

FacialParalysis ist eine teilkategorie von ParalysisFn Face

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: