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 7258-7259
(domain ParalysisFn 1 BodyPart)	Mid-level-ontology.kif 7260-7260	ParalysisFn 的 1 数量是身体部位的 instance
(instance ParalysisFn UnaryFunction)	Mid-level-ontology.kif 7257-7257	ParalysisFn 是一元函数的 instance
(rangeSubclass ParalysisFn Paralysis)	Mid-level-ontology.kif 7261-7261	ParalysisFn 的所得值是麻痹的 subclass

appearance as argument number 2

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

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 7267-7281

如果实体是 ParalysisFn 那个实体ART 的 instance 是施事体的 attribute，
然后有存在另一个客体这样那个另外客体是肌肉的 instance 和那个另外客体是那个实体ART 的 part 和那个实体ART 是那个施事体的 part 和不存在过程这样那个过程是身体运动的 instance 和那个施事体是那个过程的 agent 和那个另外客体是那个过程的 patient

statement

(subclass FacialParalysis
(ParalysisFn Face))

Medicine.kif 1847-1847

FacialParalysis 是 ParalysisFn 面对的 subclass

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

KB Term:			Term intersection

English Word: