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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Paralysis

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 6298-6299
(instance Paralysis DiseaseOrSyndrome) Mid-level-ontology.kif 6297-6297 麻痹疾病或综合症instance

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


(biochemicalAgentSyndrome NerveAgent Paralysis) WMD.kif 560-560 麻痹神经毒剂biochemical 病毒征兆
(diseaseSymptom Botulism Paralysis) WMD.kif 335-335 麻痹肉毒中毒dis​​ease 病状
(diseaseSymptom ParalyticShellfishPoisoning Paralysis) WMD.kif 1463-1463 麻痹麻痹性贝类中毒dis​​ease 病状
(rangeSubclass ParalysisFn Paralysis) Mid-level-ontology.kif 6318-6318 ParalysisFn 的所得值 是 麻痹subclass
(termFormat ChineseLanguage Paralysis "麻痹") domainEnglishFormat.kif 44402-44402
(termFormat ChineseTraditionalLanguage Paralysis "麻痺") domainEnglishFormat.kif 44401-44401
(termFormat EnglishLanguage Paralysis "paralysis") domainEnglishFormat.kif 44400-44400

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 simplified definition (without tree view)
Show simplified definition (with tree view)

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