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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Corporation

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