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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PhysiologicProcess
PhysiologicProcess(processus physiologique)

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 10300-10301
(documentation PhysiologicProcess JapaneseLanguage "Organism または Organism の一部の通 常のプロセス。") japanese_format.kif 1645-1646
(subclass PhysiologicProcess BiologicalProcess) Merge.kif 10298-10298 Processus physiologique est une sous-classe de processus biologique

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


(disjoint PathologicProcess PhysiologicProcess) Merge.kif 10525-10525 Processus pathologique est disjoint de processus physiologique
(subclass AutonomicProcess PhysiologicProcess) Merge.kif 10303-10303 AutonomicProcess est une sous-classe de processus physiologique
(subclass OrganismProcess PhysiologicProcess) Merge.kif 10324-10324 Fonction physiologique est une sous-classe de processus physiologique
(subclass PhysiologicalResponseToEmotionalState PhysiologicProcess) emotion.kif 1367-1367 PhysiologicalResponseToEmotionalState est une sous-classe de processus physiologique
(termFormat ChineseLanguage PhysiologicProcess "生理过程") chinese_format.kif 1074-1074 PhysiologicalResponseToEmotionalState est une sous-classe de processus physiologique
(termFormat EnglishLanguage PhysiologicProcess "physiologic process") english_format.kif 1359-1359 PhysiologicalResponseToEmotionalState est une sous-classe de processus physiologique
(termFormat FrenchLanguage PhysiologicProcess "processus physiologique") french_format.kif 752-752 PhysiologicalResponseToEmotionalState est une sous-classe de processus physiologique
(termFormat Hindi PhysiologicProcess "shaarIrika prakriyaa") terms-hindi.txt 284-284 PhysiologicalResponseToEmotionalState est une sous-classe de processus physiologique
(termFormat ItalianLanguage PhysiologicProcess "ProcessoFisiologico") terms-it.txt 287-287 PhysiologicalResponseToEmotionalState est une sous-classe de processus physiologique
(termFormat JapaneseLanguage PhysiologicProcess "生理学的プロセス") japanese_format.kif 2436-2436 PhysiologicalResponseToEmotionalState est une sous-classe de processus physiologique
(termFormat PortugueseLanguage PhysiologicProcess "Processo Fisiologico") portuguese_format.kif 704-704 PhysiologicalResponseToEmotionalState est une sous-classe de processus physiologique
(termFormat cz PhysiologicProcess "physiologic process") terms-cz.txt 323-323 PhysiologicalResponseToEmotionalState est une sous-classe de processus physiologique
(termFormat de PhysiologicProcess "physiologischer Prozess") terms-de.txt 582-582 PhysiologicalResponseToEmotionalState est une sous-classe de processus physiologique
(termFormat ro PhysiologicProcess "proces fiziologic") relations-ro.kif 773-773 PhysiologicalResponseToEmotionalState est une sous-classe de processus physiologique
(termFormat tg PhysiologicProcess "paraan ng Pisyolohiya") terms-tg.txt 288-288 PhysiologicalResponseToEmotionalState est une sous-classe de processus physiologique

appearance as argument number 3
-------------------------


(domainSubclass ImpairmentFn 1 PhysiologicProcess) Merge.kif 13623-13623 Le nombre 1 argument de ImpairmentFn est une sous-classe de processus physiologique

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


(=>
    (instance ?H Honey)
    (exists (?P ?B)
        (and
            (instance ?P PhysiologicProcess)
            (agent ?P ?B)
            (instance ?B Bee)
            (result ?P ?H))))
Mid-level-ontology.kif 23254-23261
(=>
    (instance ?PART BodyPart)
    (exists (?PROC)
        (and
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?PART))))
Merge.kif 15116-15121
(=>
    (instance ?X Excrement)
    (exists (?PROC ?ORG)
        (and
            (instance ?ORG Organism)
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?X)
            (agent ?PROC ?ORG))))
Mid-level-ontology.kif 2530-2537
(=>
    (instance ?X Feces)
    (exists (?PROC ?INT)
        (and
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?INT)
            (instance ?INT Intestine)
            (result ?PROC ?X))))
Mid-level-ontology.kif 2548-2555
(=>
    (instance ?X Urine)
    (exists (?PROC ?KIDNEY)
        (and
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?KIDNEY)
            (instance ?KIDNEY Kidney)
            (result ?PROC ?X))))
Mid-level-ontology.kif 2566-2573


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