Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - ParalysisFn

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


    (attribute ?ORGANISM
        (instance ?P
            (ParalysisFn ?PART)))
    (exists (?MUSCLE)
            (instance ?MUSCLE Muscle)
            (part ?MUSCLE ?PART)
            (part ?PART ?ORGANISM)
                (exists (?MOTION)
                        (instance ?MOTION BodyMotion)
                        (agent ?MOTION ?ORGANISM)
                        (patient ?MOTION ?MUSCLE)))))))
Mid-level-ontology.kif 6330-6344

Show without tree

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