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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrganOrTissueProcess

 Sigma KEE - OrganOrTissueProcess
OrganOrTissueProcess

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


(disjoint OrganOrTissueProcess OrganismProcess) Merge.kif 10170-10170 不相交的 OrganOrTissueProcess and OrganismProcess
(documentation OrganOrTissueProcess ChineseLanguage "这是一个特定 Organ 或 Tissue 的 PhysiologicProcess。") chinese_format.kif 2900-2901
(documentation OrganOrTissueProcess EnglishLanguage "A PhysiologicProcess of a particular Organ or Tissue.") Merge.kif 10172-10173
(documentation OrganOrTissueProcess JapaneseLanguage "特定の Organ または Tissue の PhysiologicProcess。") japanese_format.kif 1649-1650
(subclass OrganOrTissueProcess AutonomicProcess) Merge.kif 10169-10169 子類 OrganOrTissueProcess and 自主過程

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


(subclass BiologicalConception OrganOrTissueProcess) Mid-level-ontology.kif 24041-24041 子類 生物學概念 and OrganOrTissueProcess
(subclass Bradycardia OrganOrTissueProcess) Medicine.kif 2829-2829 子類 Bradycardia and OrganOrTissueProcess
(subclass Clotting OrganOrTissueProcess) Mid-level-ontology.kif 10487-10487 子類 Clotting and OrganOrTissueProcess
(subclass Fertilisation OrganOrTissueProcess) Mid-level-ontology.kif 23964-23964 子類 Fertilisation and OrganOrTissueProcess
(subclass HeartBeat OrganOrTissueProcess) Mid-level-ontology.kif 10715-10715 子類 HeartBeat and OrganOrTissueProcess
(subclass Inflammation OrganOrTissueProcess) Mid-level-ontology.kif 12385-12385 子類 Inflammation and OrganOrTissueProcess
(subclass Menstruation OrganOrTissueProcess) Mid-level-ontology.kif 23872-23872 子類 經期 and OrganOrTissueProcess
(subclass MuscleRelaxing OrganOrTissueProcess) Mid-level-ontology.kif 10551-10551 子類 MuscleRelaxing and OrganOrTissueProcess
(subclass MuscularContraction OrganOrTissueProcess) Mid-level-ontology.kif 10529-10529 子類 MuscularContraction and OrganOrTissueProcess
(subclass Organification OrganOrTissueProcess) Mid-level-ontology.kif 24030-24030 子類 有機化 and OrganOrTissueProcess
(subclass Ossification OrganOrTissueProcess) Mid-level-ontology.kif 11540-11540 子類 骨化 and OrganOrTissueProcess
(subclass Sunburn OrganOrTissueProcess) Mid-level-ontology.kif 11000-11000 子類 Sunburn and OrganOrTissueProcess
(subclass Tachycardia OrganOrTissueProcess) Medicine.kif 2809-2809 子類 Tachycardia and OrganOrTissueProcess
(subclass Tanning OrganOrTissueProcess) Mid-level-ontology.kif 11017-11017 子類 Tanning and OrganOrTissueProcess
(termFormat ChineseLanguage OrganOrTissueProcess "器官或身体组织过程") chinese_format.kif 1087-1087
(termFormat EnglishLanguage OrganOrTissueProcess "organ or tissue process") english_format.kif 1385-1385
(termFormat FrenchLanguage OrganOrTissueProcess "organ or tissueprocess") french_format.kif 765-765
(termFormat Hindi OrganOrTissueProcess "anaga yaa Utaka prakriyaa") terms-hindi.txt 297-297
(termFormat ItalianLanguage OrganOrTissueProcess "ProcessoOrganicoOTessutale") terms-it.txt 300-300
(termFormat JapaneseLanguage OrganOrTissueProcess "臓器または組織のプロセス") japanese_format.kif 2449-2449
(termFormat PortugueseLanguage OrganOrTissueProcess "Processo de Orgao or Tecido") portuguese_format.kif 717-717
(termFormat cz OrganOrTissueProcess "organ or tissueprocess") terms-cz.txt 336-336
(termFormat ro OrganOrTissueProcess "proces organic sau de þesut") relations-ro.kif 786-786
(termFormat tg OrganOrTissueProcess "paraan ng katawan") terms-tg.txt 301-301

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))		 Merge.kif 10175-10182

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


(=>
    (instance ?S Scar)
    (exists (?T ?OP ?L)
        (and
            (temporalPart ?T
                (PastFn
                    (WhenFn ?S)))
            (holdsDuring ?T
                (instance ?L Lesion))
            (instance ?OP OrganOrTissueProcess)
            (patient ?OP ?L)
            (result ?OP ?S))))		 Mid-level-ontology.kif 9408-9418


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