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 10206-10206 ProcessoOrganicoOTessutale è disgiunto da ProcessoOrganico
(documentation OrganOrTissueProcess ChineseLanguage "这是一个特定 Organ 或 Tissue 的 PhysiologicProcess。") chinese_format.kif 2900-2901
(documentation OrganOrTissueProcess EnglishLanguage "A PhysiologicProcess of a particular Organ or Tissue.") Merge.kif 10208-10209
(documentation OrganOrTissueProcess JapaneseLanguage "特定の Organ または Tissue の PhysiologicProcess。") japanese_format.kif 1649-1650
(subclass OrganOrTissueProcess AutonomicProcess) Merge.kif 10205-10205 ProcessoOrganicoOTessutale è una sottoclasse di AutonomicProcess

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


(subclass BiologicalConception OrganOrTissueProcess) Mid-level-ontology.kif 24098-24098 BiologicalConception è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Bradycardia OrganOrTissueProcess) Medicine.kif 2829-2829 Bradycardia è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Clotting OrganOrTissueProcess) Mid-level-ontology.kif 10514-10514 Clotting è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Fertilisation OrganOrTissueProcess) Mid-level-ontology.kif 24021-24021 Fertilisation è una sottoclasse di ProcessoOrganicoOTessutale
(subclass HeartBeat OrganOrTissueProcess) Mid-level-ontology.kif 10742-10742 HeartBeat è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Inflammation OrganOrTissueProcess) Mid-level-ontology.kif 12412-12412 Inflammation è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Menstruation OrganOrTissueProcess) Mid-level-ontology.kif 23929-23929 Menstruation è una sottoclasse di ProcessoOrganicoOTessutale
(subclass MuscleRelaxing OrganOrTissueProcess) Mid-level-ontology.kif 10578-10578 MuscleRelaxing è una sottoclasse di ProcessoOrganicoOTessutale
(subclass MuscularContraction OrganOrTissueProcess) Mid-level-ontology.kif 10556-10556 MuscularContraction è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Organification OrganOrTissueProcess) Mid-level-ontology.kif 24087-24087 Organification è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Ossification OrganOrTissueProcess) Mid-level-ontology.kif 11567-11567 Ossification è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Sunburn OrganOrTissueProcess) Mid-level-ontology.kif 11027-11027 Sunburn è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Tachycardia OrganOrTissueProcess) Medicine.kif 2809-2809 Tachycardia è una sottoclasse di ProcessoOrganicoOTessutale
(subclass Tanning OrganOrTissueProcess) Mid-level-ontology.kif 11044-11044 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 10211-10218

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 9435-9445


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