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

Formal Language: 



KB Term:  Term intersection
English Word: 

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, physiologic_process, physiological, physiology, progestational, pule, quickening, rally, recovery, recuperation, rousing, rush, sniffle, snivel, snuffle, sob, squinch, squint...

VerbNet: crane-40.3.2|flutter, wink-40.3.1|wink, wink-40.3.1|wink, nonverbal_expression-40.2|snivel, nonverbal_expression-40.2|snivel, breathe-40.1.2|cry, crane-40.3.2|flutter, engender-27|stimulate, engender-27|stimulate, animal_sounds-38|whimper, wink-40.3.1|wink, wink-40.3.1|wink, animal_sounds-38|whimper, engender-27|stimulate, nonverbal_expression-40.2|snivel, nonverbal_expression-40.2|snivel, nonverbal_expression-40.2|snivel, nonverbal_expression-40.2|sob, peer-30.3|squint, peer-30.3|squint, engender-27|stimulate, animal_sounds-38|whimper, animal_sounds-38|whimper, flinch-40.5|wince, wink-40.3.1|wink,


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 9449-9450
(subclass PhysiologicProcess BiologicalProcess) Merge.kif 9447-9447 Physiologic process is a subclass of biological process

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


(disjoint PathologicProcess PhysiologicProcess) Merge.kif 9671-9671 Pathologic process is disjoint from physiologic process
(subclass AutonomicProcess PhysiologicProcess) Merge.kif 9452-9452 Autonomic process is a subclass of physiologic process
(subclass OrganismProcess PhysiologicProcess) Merge.kif 9473-9473 Organism process is a subclass of physiologic process
(subclass PhysiologicalResponseToEmotionalState PhysiologicProcess) emotion.kif 1348-1348 Physiological response to emotion process is a subclass of physiologic process
(termFormat ChineseLanguage PhysiologicProcess "生理过程") chinese_format.kif 1074-1074 "生理过程" is the printable form of physiologic process in ChineseLanguage
(termFormat EnglishLanguage PhysiologicProcess "physiologic process") english_format.kif 1364-1364 "physiologic process" is the printable form of physiologic process in english language

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


(=>
    (instance ?H Honey)
    (exists (?P ?B)
        (and
            (instance ?P PhysiologicProcess)
            (agent ?P ?B)
            (instance ?B Bee)
            (result ?P ?H))))
Mid-level-ontology.kif 19395-19402
(=>
    (instance ?PART BodyPart)
    (exists (?PROC)
        (and
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?PART))))
Merge.kif 13798-13803
(=>
    (instance ?X Excrement)
    (exists (?PROC ?ORG)
        (and
            (instance ?ORG Organism)
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?X)
            (agent ?PROC ?ORG))))
Mid-level-ontology.kif 2522-2529
(=>
    (instance ?X Feces)
    (exists (?PROC ?INT)
        (and
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?INT)
            (instance ?INT Intestine)
            (result ?PROC ?X))))
Mid-level-ontology.kif 2540-2547
(=>
    (instance ?X Urine)
    (exists (?PROC ?KIDNEY)
        (and
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?KIDNEY)
            (instance ?KIDNEY Kidney)
            (result ?PROC ?X))))
Mid-level-ontology.kif 2558-2565


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners