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


(documentation Paralysis EnglishLanguage "The syndrome where some or all of an Animal's muscles cannot be moved voluntarily.") Mid-level-ontology.kif 6298-6299
(instance Paralysis DiseaseOrSyndrome) Mid-level-ontology.kif 6297-6297 Paralysis is an instance of disease or syndrome

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


(biochemicalAgentSyndrome NerveAgent Paralysis) WMD.kif 560-560 Paralysis is a biochemical agent syndrome of nerve agent
(diseaseSymptom Botulism Paralysis) WMD.kif 335-335 Paralysis is a disease symptom of botulism
(diseaseSymptom ParalyticShellfishPoisoning Paralysis) WMD.kif 1463-1463 Paralysis is a disease symptom of paralytic shellfish poisoning
(rangeSubclass ParalysisFn Paralysis) Mid-level-ontology.kif 6318-6318 The values returned by paralysis are subclasses of paralysis
(termFormat ChineseLanguage Paralysis "麻痹") domainEnglishFormat.kif 44438-44438 The values returned by paralysis are subclasses of paralysis
(termFormat ChineseTraditionalLanguage Paralysis "麻痺") domainEnglishFormat.kif 44437-44437 The values returned by paralysis are subclasses of paralysis
(termFormat EnglishLanguage Paralysis "paralysis") domainEnglishFormat.kif 44436-44436 The values returned by paralysis are subclasses of paralysis

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


(=>
    (attribute ?ORGANISM Paralysis)
    (exists (?MUSCLE)
        (and
            (instance ?MUSCLE Muscle)
            (part ?MUSCLE ?ORGANISM)
            (not
                (exists (?MOTION)
                    (and
                        (instance ?MOTION BodyMotion)
                        (agent ?MOTION ?ORGANISM)
                        (patient ?MOTION ?MUSCLE)))))))
Mid-level-ontology.kif 6301-6312


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