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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PhysiologicProcess

Sigma KEE - PhysiologicProcess
PhysiologicProcess(physiologic process)amelogenesis, arousal, autoregulation, bacteriostasis, bat, bawl, be_full, blink, blink_away, blub, blubber, body, circadian, conglutination, control, convalescence, cry, flutter, galvanisation, galvanization, gestational, hasten, healing, induce, life_cycle, lysis, mewl, motor_control, nictate, nictitate, palpebrate, personify, physiologic, physiological, physiology, progestational, pule, quickening, rally, recovery, recuperation, rousing, rush, sniffle, snivel, snuffle, sob, squinch, squint, stimulate...

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


(documentation PhysiologicProcess ChineseLanguage "这是一个 Organism 或者是一个 Organism 的一部分的一个正常过程。") chinese_format.kif 2896-2897
(documentation PhysiologicProcess EnglishLanguage "A normal process of an Organism or part of an Organism.") Merge.kif 10068-10069
(subclass PhysiologicProcess BiologicalProcess) Merge.kif 10066-10066 Physiologic process is a subclass of biological process

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


(disjoint PathologicProcess PhysiologicProcess) Merge.kif 10292-10292 Pathologic process is disjoint from physiologic process
(subclass AutonomicProcess PhysiologicProcess) Merge.kif 10071-10071 Autonomic process is a subclass of physiologic process
(subclass OrganismProcess PhysiologicProcess) Merge.kif 10092-10092 Organism process is a subclass of physiologic process
(subclass PhysiologicalResponseToEmotionalState PhysiologicProcess) emotion.kif 1367-1367 Physiological response to emotion process is a subclass of physiologic process
(termFormat ChineseLanguage PhysiologicProcess "生理过程") chinese_format.kif 1074-1074
(termFormat EnglishLanguage PhysiologicProcess "physiologic process") english_format.kif 1359-1359

appearance as argument number 3
-------------------------


(domainSubclass ImpairmentFn 1 PhysiologicProcess) Merge.kif 13223-13223 The number 1 argument of impairment is a subclass of physiologic process

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


(=>
    (instance ?H Honey)
    (exists (?P ?B)
        (and
            (instance ?P PhysiologicProcess)
            (agent ?P ?B)
            (instance ?B Bee)
            (result ?P ?H))))
Mid-level-ontology.kif 21055-21062
(=>
    (instance ?PART BodyPart)
    (exists (?PROC)
        (and
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?PART))))
Merge.kif 14693-14698
(=>
    (instance ?X Excrement)
    (exists (?PROC ?ORG)
        (and
            (instance ?ORG Organism)
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?X)
            (agent ?PROC ?ORG))))
Mid-level-ontology.kif 2022-2029
(=>
    (instance ?X Feces)
    (exists (?PROC ?INT)
        (and
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?INT)
            (instance ?INT Intestine)
            (result ?PROC ?X))))
Mid-level-ontology.kif 2040-2047
(=>
    (instance ?X Urine)
    (exists (?PROC ?KIDNEY)
        (and
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?KIDNEY)
            (instance ?KIDNEY Kidney)
            (result ?PROC ?X))))
Mid-level-ontology.kif 2058-2065


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