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

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

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

statement

(subclass FacialParalysis
(ParalysisFn Face))

Medicine.kif 1854-1854

FacialParalysis 是 ParalysisFn 面对的 subclass

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

KB Term:			Term intersection

English Word: