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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArytenoidTransverseAndObliqueMuscle

 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 10196-10197
(documentation PhysiologicProcess JapaneseLanguage "Organism または Organism の一部の通 常のプロセス。") japanese_format.kif 1645-1646
(subclass PhysiologicProcess BiologicalProcess) Merge.kif 10194-10194 生理过程 是 生物过程 的 subclass

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


(disjoint PathologicProcess PhysiologicProcess) Merge.kif 10421-10421 病理过程 和 % 2 是 disjoint
(subclass AutonomicProcess PhysiologicProcess) Merge.kif 10199-10199 自主过程 是 生理过程 的 subclass
(subclass OrganismProcess PhysiologicProcess) Merge.kif 10220-10220 机体过程 是 生理过程 的 subclass
(subclass PhysiologicalResponseToEmotionalState PhysiologicProcess) emotion.kif 1367-1367 PhysiologicalResponseToEmotionalState 是 生理过程 的 subclass
(termFormat ChineseLanguage PhysiologicProcess "生理过程") chinese_format.kif 1074-1074
(termFormat EnglishLanguage PhysiologicProcess "physiologic process") english_format.kif 1359-1359
(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 287-287
(termFormat JapaneseLanguage PhysiologicProcess "生理学的プロセス") japanese_format.kif 2436-2436
(termFormat PortugueseLanguage PhysiologicProcess "Processo Fisiologico") portuguese_format.kif 704-704
(termFormat cz PhysiologicProcess "physiologic process") terms-cz.txt 323-323
(termFormat ro PhysiologicProcess "proces fiziologic") relations-ro.kif 773-773
(termFormat tg PhysiologicProcess "paraan ng Pisyolohiya") terms-tg.txt 288-288

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


(domainSubclass ImpairmentFn 1 PhysiologicProcess) Merge.kif 13515-13515 ImpairmentFn 的 1 数量 是 生理过程 的 subclass

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


(=>
    (instance ?H Honey)
    (exists (?P ?B)
        (and
            (instance ?P PhysiologicProcess)
            (agent ?P ?B)
            (instance ?B Bee)
            (result ?P ?H))))		 Mid-level-ontology.kif 21664-21671
(=>
    (instance ?PART BodyPart)
    (exists (?PROC)
        (and
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?PART))))		 Merge.kif 15009-15014
(=>
    (instance ?X Excrement)
    (exists (?PROC ?ORG)
        (and
            (instance ?ORG Organism)
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?X)
            (agent ?PROC ?ORG))))		 Mid-level-ontology.kif 2060-2067
(=>
    (instance ?X Feces)
    (exists (?PROC ?INT)
        (and
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?INT)
            (instance ?INT Intestine)
            (result ?PROC ?X))))		 Mid-level-ontology.kif 2078-2085
(=>
    (instance ?X Urine)
    (exists (?PROC ?KIDNEY)
        (and
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?KIDNEY)
            (instance ?KIDNEY Kidney)
            (result ?PROC ?X))))		 Mid-level-ontology.kif 2096-2103


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