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...

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


(documentation PhysiologicProcess ChineseLanguage "这是一个 Organism 或者是一个 Organism 的一部分的一个正常过程。") Merge.kif 10215-10216
(documentation PhysiologicProcess EnglishLanguage "A normal process of an Organism or part of an Organism.") Merge.kif 10213-10214
(subclass PhysiologicProcess BiologicalProcess) Merge.kif 10212-10212 Physiologic process is a subclass of biological process

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


(disjoint PathologicProcess PhysiologicProcess) Merge.kif 10445-10445 Pathologic process is disjoint from physiologic process
(subclass AutonomicProcess PhysiologicProcess) Merge.kif 10218-10218 Autonomic process is a subclass of physiologic process
(subclass OrganismProcess PhysiologicProcess) Merge.kif 10241-10241 Organism 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 1293-1293 "physiologic process" is the printable form of physiologic process in english language
(termFormat JapaneseLanguage PhysiologicProcess "生理学的プロセス") english_format.kif 1294-1294 "生理学的プロセス" is the printable form of physiologic process in japanese 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 19394-19401
(=>
    (instance ?PART BodyPart)
    (exists (?PROC)
        (and
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?PART))))
Merge.kif 15113-15118
(=>
    (instance ?X Excrement)
    (exists (?PROC ?ORG)
        (and
            (instance ?ORG Organism)
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?X)
            (agent ?PROC ?ORG))))
Mid-level-ontology.kif 2527-2534
(=>
    (instance ?X Feces)
    (exists (?PROC ?INT)
        (and
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?INT)
            (instance ?INT Intestine)
            (result ?PROC ?X))))
Mid-level-ontology.kif 2545-2552
(=>
    (instance ?X Urine)
    (exists (?PROC ?KIDNEY)
        (and
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?KIDNEY)
            (instance ?KIDNEY Kidney)
            (result ?PROX ?X))))
Mid-level-ontology.kif 2563-2570


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