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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AutonomicProcess
AutonomicProcess

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


(disjoint AutonomicProcess IntentionalProcess) Merge.kif 10186-10186
(documentation AutonomicProcess ChineseLanguage "这是 PhysiologicProcesses 的类别,这些过程 都没有意识和控制。") chinese_format.kif 2898-2899
(documentation AutonomicProcess EnglishLanguage "The class of PhysiologicProcesses of which there is not conscious awareness and control.") Merge.kif 10188-10189
(documentation AutonomicProcess JapaneseLanguage "PhysiologicProcesses のクラスは、意識的 な認識と制御がない。") japanese_format.kif 1647-1648
(externalImage AutonomicProcess "http://upload.wikimedia.org/wikipedia/commons/ f/ f7/ Gray839.png") pictureList.kif 9897-9897
(subclass AutonomicProcess PhysiologicProcess) Merge.kif 10185-10185

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


(subclass Bleeding AutonomicProcess) Mid-level-ontology.kif 21376-21376
(subclass Blushing AutonomicProcess) Mid-level-ontology.kif 21469-21469
(subclass Breath AutonomicProcess) Mid-level-ontology.kif 10358-10358
(subclass Breathing AutonomicProcess) Merge.kif 10262-10262
(subclass Digesting AutonomicProcess) Merge.kif 10305-10305
(subclass Growth AutonomicProcess) Merge.kif 10328-10328
(subclass OrganOrTissueProcess AutonomicProcess) Merge.kif 10191-10191
(subclass ReflexiveProcess AutonomicProcess) Mid-level-ontology.kif 19987-19987
(subclass Trembling AutonomicProcess) Mid-level-ontology.kif 19980-19980
(termFormat ChineseLanguage AutonomicProcess "自主过程") domainEnglishFormat.kif 9300-9300
(termFormat ChineseTraditionalLanguage AutonomicProcess "自主過程") domainEnglishFormat.kif 9299-9299
(termFormat EnglishLanguage AutonomicProcess "autonomic process") domainEnglishFormat.kif 9298-9298

consequent
-------------------------


(=>
    (attribute ?H Dysautonomia)
    (exists (?P)
        (and
            (experiencer ?P ?H)
            (instance ?P
                (ImpairmentFn AutonomicProcess)))))
Medicine.kif 4230-4236


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