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 10192-10192 不相交的 OrganOrTissueProcess and OrganismProcess
(documentation OrganOrTissueProcess ChineseLanguage "这是一个特定 OrganTissuePhysiologicProcess。") chinese_format.kif 2900-2901
(documentation OrganOrTissueProcess EnglishLanguage "A PhysiologicProcess of a particular Organ or Tissue.") Merge.kif 10194-10195
(documentation OrganOrTissueProcess JapaneseLanguage "特定の Organ または TissuePhysiologicProcess。") japanese_format.kif 1649-1650
(subclass OrganOrTissueProcess AutonomicProcess) Merge.kif 10191-10191 子類 OrganOrTissueProcess and 自主過程

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


(subclass BiologicalConception OrganOrTissueProcess) Mid-level-ontology.kif 24040-24040 子類 生物學概念 and OrganOrTissueProcess
(subclass Bradycardia OrganOrTissueProcess) Medicine.kif 2829-2829 子類 Bradycardia and OrganOrTissueProcess
(subclass Clotting OrganOrTissueProcess) Mid-level-ontology.kif 10486-10486 子類 Clotting and OrganOrTissueProcess
(subclass Fertilisation OrganOrTissueProcess) Mid-level-ontology.kif 23963-23963 子類 Fertilisation and OrganOrTissueProcess
(subclass HeartBeat OrganOrTissueProcess) Mid-level-ontology.kif 10714-10714 子類 HeartBeat and OrganOrTissueProcess
(subclass Inflammation OrganOrTissueProcess) Mid-level-ontology.kif 12384-12384 子類 Inflammation and OrganOrTissueProcess
(subclass Menstruation OrganOrTissueProcess) Mid-level-ontology.kif 23871-23871 子類 經期 and OrganOrTissueProcess
(subclass MuscleRelaxing OrganOrTissueProcess) Mid-level-ontology.kif 10550-10550 子類 MuscleRelaxing and OrganOrTissueProcess
(subclass MuscularContraction OrganOrTissueProcess) Mid-level-ontology.kif 10528-10528 子類 MuscularContraction and OrganOrTissueProcess
(subclass Organification OrganOrTissueProcess) Mid-level-ontology.kif 24029-24029 子類 有機化 and OrganOrTissueProcess
(subclass Ossification OrganOrTissueProcess) Mid-level-ontology.kif 11539-11539 子類 骨化 and OrganOrTissueProcess
(subclass Sunburn OrganOrTissueProcess) Mid-level-ontology.kif 10999-10999 子類 Sunburn and OrganOrTissueProcess
(subclass Tachycardia OrganOrTissueProcess) Medicine.kif 2809-2809 子類 Tachycardia and OrganOrTissueProcess
(subclass Tanning OrganOrTissueProcess) Mid-level-ontology.kif 11016-11016 子類 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 10197-10204

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 9407-9417


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