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 10164-10164
(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 10166-10167
(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 10163-10163

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


(subclass Bleeding AutonomicProcess) Mid-level-ontology.kif 21377-21377
(subclass Blushing AutonomicProcess) Mid-level-ontology.kif 21470-21470
(subclass Breath AutonomicProcess) Mid-level-ontology.kif 10359-10359
(subclass Breathing AutonomicProcess) Merge.kif 10240-10240
(subclass Digesting AutonomicProcess) Merge.kif 10283-10283
(subclass Growth AutonomicProcess) Merge.kif 10306-10306
(subclass OrganOrTissueProcess AutonomicProcess) Merge.kif 10169-10169
(subclass ReflexiveProcess AutonomicProcess) Mid-level-ontology.kif 19988-19988
(subclass Trembling AutonomicProcess) Mid-level-ontology.kif 19981-19981
(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