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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PhysiologicProcess
PhysiologicProcessProcessoFisiologico, Processo_Fisiologico, 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, paraan_ng_Pisyolohiya, personify, physiologic, physiologic_process, physiological, physiology, processus_physiologique, progestational, pule, quickening, rally, recovery, recuperation, rousing, rush, shaarIrika_prakriyaa, sniffle...

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


(documentation PhysiologicProcess ChineseLanguage "这是一个 Organism 或者是一个 Organism 的一部分的一个正常过程。") Merge.kif 10157-10158
(documentation PhysiologicProcess EnglishLanguage "A normal process of an Organism or part of an Organism.") Merge.kif 10155-10156
(subclass PhysiologicProcess BiologicalProcess) Merge.kif 10154-10154

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


(disjoint PathologicProcess PhysiologicProcess) Merge.kif 10387-10387
(subclass AutonomicProcess PhysiologicProcess) Merge.kif 10160-10160
(subclass OrganismProcess PhysiologicProcess) Merge.kif 10183-10183
(subclass PhysiologicalResponseToEmotionalState PhysiologicProcess) emotion.kif 1343-1343
(termFormat ChineseLanguage PhysiologicProcess "生理过程") chinese_format.kif 1074-1074
(termFormat EnglishLanguage PhysiologicProcess "physiologic process") english_format.kif 761-761
(termFormat FrenchLanguage PhysiologicProcess "processus physiologique") french_format.kif 752-752
(termFormat Hindi PhysiologicProcess "shaarIrika prakriyaa") terms-hindi.txt 284-284
(termFormat ItalianLanguage PhysiologicProcess "ProcessoFisiologico") terms-it.txt 285-285
(termFormat PortugueseLanguage PhysiologicProcess "Processo Fisiologico") portuguese_format.kif 704-704
(termFormat cz PhysiologicProcess "physiologic process") terms-cz.txt 323-323
(termFormat tg PhysiologicProcess "paraan ng Pisyolohiya") terms-tg.txt 288-288

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


(=>
    (instance ?H Honey)
    (exists (?P ?B)
        (and
            (instance ?P PhysiologicProcess)
            (agent ?P ?B)
            (instance ?B Bee)
            (result ?P ?H))))
Mid-level-ontology.kif 19336-19343
(=>
    (instance ?PART BodyPart)
    (exists (?PROC)
        (and
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?PART))))
Merge.kif 15055-15060
(=>
    (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