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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Paralysis
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 6304-6305
(instance Paralysis DiseaseOrSyndrome) Mid-level-ontology.kif 6303-6303 麻痺 and DiseaseOrSyndrome

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


(biochemicalAgentSyndrome NerveAgent Paralysis) WMD.kif 560-560 麻痺神經毒劑biochemical 病毒徵兆
(diseaseSymptom Botulism Paralysis) WMD.kif 335-335 麻痺肉毒中毒disease 病狀
(diseaseSymptom ParalyticShellfishPoisoning Paralysis) WMD.kif 1463-1463 麻痺麻痺性貝類中毒disease 病狀
(rangeSubclass ParalysisFn Paralysis) Mid-level-ontology.kif 6324-6324 範圍子類 ParalysisFn and 麻痺
(termFormat ChineseLanguage Paralysis "麻痹") domainEnglishFormat.kif 44400-44400
(termFormat ChineseTraditionalLanguage Paralysis "麻痺") domainEnglishFormat.kif 44399-44399
(termFormat EnglishLanguage Paralysis "paralysis") domainEnglishFormat.kif 44398-44398

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


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