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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Paralysis
Paralysis(paralysis)Erb's_palsy, Erb-Duchenne_paralysis, akinesia, akinesis, alalia, cystoparalysis, cystoplegia, diplegia, hemiplegia, monoplegia, palsy, paralysis, paraparesis, paraplegia, paresis, quadriplegia, unilateral_paralysis

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


s__documentation(s__Paralysis,s__EnglishLanguage,'"The syndrome where some or all of an Animals muscles cannot be moved voluntarily."')

Mid-level-ontology.kif 5955-5956
s__instance(s__DiseaseOrSyndrome,s__Class)

s__instance(s__Paralysis,s__DiseaseOrSyndrome)

Mid-level-ontology.kif 5954-5954 Paralysis is an instance of disease or syndrome

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


s__biochemicalAgentSyndrome(s__NerveAgent,s__Paralysis)

WMD.kif 555-555 Paralysis is a biochemical agent syndrome of nerve agent
s__diseaseSymptom(s__Botulism,s__Paralysis)

WMD.kif 335-335 Paralysis is a disease symptom of botulism
s__diseaseSymptom(s__ParalyticShellfishPoisoning,s__Paralysis)

WMD.kif 1433-1433 Paralysis is a disease symptom of paralytic shellfish poisoning
s__rangeSubclass(s__ParalysisFn__m,s__Paralysis)

Mid-level-ontology.kif 5975-5975 The values returned by paralysis are subclasses of paralysis
s__termFormat(s__ChineseLanguage,s__Paralysis,'"麻痹"')

domainEnglishFormat.kif 44377-44377
s__termFormat(s__ChineseTraditionalLanguage,s__Paralysis,'"麻痺"')

domainEnglishFormat.kif 44376-44376
s__termFormat(s__EnglishLanguage,s__Paralysis,'"paralysis"')

domainEnglishFormat.kif 44375-44375

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


( ! [V__ORGANISM] :
   ((s__instance(V__ORGANISM,s__Agent) =>
       ((s__attribute(V__ORGANISM,s__Paralysis) =>
           (( ? [V__MUSCLE] :
               ((s__instance(V__MUSCLE,s__Muscle) &
                   s__part(V__MUSCLE,V__ORGANISM)
                 &
                 ~(( ? [V__MOTION] :
                     ((s__instance(V__MOTION,s__BodyMotion) &
                         s__agent(V__MOTION,V__ORGANISM)
                       &
                       s__patient(V__MOTION,V__MUSCLE))))))))))))
)
)

Mid-level-ontology.kif 5958-5969


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



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