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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PhysiologicProcess
PhysiologicProcess

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 10079-10080
(subclass PhysiologicProcess BiologicalProcess) Merge.kif 10077-10077

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


(disjoint PathologicProcess PhysiologicProcess) Merge.kif 10303-10303
(subclass AutonomicProcess PhysiologicProcess) Merge.kif 10082-10082
(subclass OrganismProcess PhysiologicProcess) Merge.kif 10103-10103
(subclass PhysiologicalResponseToEmotionalState PhysiologicProcess) emotion.kif 1367-1367
(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 13242-13242

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


(=>
    (instance ?H Honey)
    (exists (?P ?B)
        (and
            (instance ?P PhysiologicProcess)
            (agent ?P ?B)
            (instance ?B Bee)
            (result ?P ?H))))
Mid-level-ontology.kif 21143-21150
(=>
    (instance ?PART BodyPart)
    (exists (?PROC)
        (and
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?PART))))
Merge.kif 14715-14720
(=>
    (instance ?X Excrement)
    (exists (?PROC ?ORG)
        (and
            (instance ?ORG Organism)
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?X)
            (agent ?PROC ?ORG))))
Mid-level-ontology.kif 2030-2037
(=>
    (instance ?X Feces)
    (exists (?PROC ?INT)
        (and
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?INT)
            (instance ?INT Intestine)
            (result ?PROC ?X))))
Mid-level-ontology.kif 2048-2055
(=>
    (instance ?X Urine)
    (exists (?PROC ?KIDNEY)
        (and
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?KIDNEY)
            (instance ?KIDNEY Kidney)
            (result ?PROC ?X))))
Mid-level-ontology.kif 2066-2073


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 3.0 is open source software produced by Articulate Software and its partners