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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrganOrTissueProcess
OrganOrTissueProcess(ProcessoOrganicoOTessutale)

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


(disjoint OrganOrTissueProcess OrganismProcess) Merge.kif 10192-10192 ProcessoOrganicoOTessutale è disgiunto da ProcessoOrganico
(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 ProcessoOrganicoOTessutale è una sottoclasse di AutonomicProcess

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


(subclass BiologicalConception OrganOrTissueProcess) Mid-level-ontology.kif 24040-24040 BiologicalConception è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Bradycardia OrganOrTissueProcess) Medicine.kif 2829-2829 Bradycardia è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Clotting OrganOrTissueProcess) Mid-level-ontology.kif 10486-10486 Clotting è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Fertilisation OrganOrTissueProcess) Mid-level-ontology.kif 23963-23963 Fertilisation è una sottoclasse di ProcessoOrganicoOTessutale
(subclass HeartBeat OrganOrTissueProcess) Mid-level-ontology.kif 10714-10714 HeartBeat è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Inflammation OrganOrTissueProcess) Mid-level-ontology.kif 12384-12384 Inflammation è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Menstruation OrganOrTissueProcess) Mid-level-ontology.kif 23871-23871 Menstruation è una sottoclasse di ProcessoOrganicoOTessutale
(subclass MuscleRelaxing OrganOrTissueProcess) Mid-level-ontology.kif 10550-10550 MuscleRelaxing è una sottoclasse di ProcessoOrganicoOTessutale
(subclass MuscularContraction OrganOrTissueProcess) Mid-level-ontology.kif 10528-10528 MuscularContraction è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Organification OrganOrTissueProcess) Mid-level-ontology.kif 24029-24029 Organification è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Ossification OrganOrTissueProcess) Mid-level-ontology.kif 11539-11539 Ossification è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Sunburn OrganOrTissueProcess) Mid-level-ontology.kif 10999-10999 Sunburn è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Tachycardia OrganOrTissueProcess) Medicine.kif 2809-2809 Tachycardia è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Tanning OrganOrTissueProcess) Mid-level-ontology.kif 11016-11016 Tanning è una sottoclasse di ProcessoOrganicoOTessutale
(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 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