Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  weaponCarryingCapability

 Sigma KEE - ParalysisFn
ParalysisFn

appearance as argument number 1
-------------------------


(instance ParalysisFn UnaryFunction) Mid-level-ontology.kif 7439-7439 Paralysis is an instance of unary function
(documentation ParalysisFn EnglishLanguage "A Function that returns that class of Paralysis affecting a particular BodyPart of an Animal.") Mid-level-ontology.kif 7440-7441 Paralysis is an instance of unary function
(domain ParalysisFn 1 BodyPart) Mid-level-ontology.kif 7442-7442 The number 1 argument of paralysis is an instance of body part
(range ParalysisFn DiseaseOrSyndrome) Mid-level-ontology.kif 7443-7443 The range of paralysis is an instance of disease or syndrome

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (equal ?P
        (ParalysisFn ?O))
    (subAttribute ?P Paralysis))		 Mid-level-ontology.kif 7447-7449 If equal X and paralysis of the Y, then X is a subattribute of paralysis
(=>
    (attribute ?ORGANISM
        (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 7451-7464 If paralysis of the X is an attribute of Y, then there exists Z such that Z is an instance of muscle, Z is a part of X, X is a part of Y, there doesn't exist W such that W is an instance of body motion, Y is an agent of W, and Z is a patient of W

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners