TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Vein EnglishLanguage "Any BloodVessel which transfers Blood from the extremities of the body to the Heart.")	Mid-level-ontology.kif 11149-11150
(externalImage Vein "http://upload.wikimedia.org/wikipedia/commons/5/51/ Great_saphenous_vein.png")	pictureList.kif 4845-4845
(relatedInternalConcept Vein Artery)	Mid-level-ontology.kif 11148-11148	Vein e' relacionado internamente por SUMO a Artery
(subclass Vein BloodVessel)	Mid-level-ontology.kif 11147-11147	Vein e' uma sub-classe de BloodVessel

appearance as argument number 2

(subclass PulmonaryVein Vein)	Mid-level-ontology.kif 11180-11180	PulmonaryVein e' uma sub-classe de Vein
(termFormat ChineseLanguage Vein "静脉")	domainEnglishFormat.kif 61438-61438
(termFormat ChineseTraditionalLanguage Vein "靜脈")	domainEnglishFormat.kif 61437-61437
(termFormat EnglishLanguage Vein "vein")	domainEnglishFormat.kif 61436-61436

antecedent

(=>
    (and
        (instance ?V Vein)
        (instance ?T Transfer)
        (patient ?T ?B)
        (instrument ?T ?V)
        (instance ?B Blood))
    (exists (?H)
        (and
            (instance ?H Heart)
            (destination ?T ?H))))

Mid-level-ontology.kif 11152-11162

Objeto e' uma instancia de Vein Processo e' uma instancia de Transferencia Entidade e' um patient de Processo Objeto e' um instrumento para Processo Entidade e' uma instancia de Sangue
Entidade Entidade e' uma instancia de Heart Processo termina em Entidade

consequent

(=> (and (instance ?B Bleeding) (experiencer ?B ?H)) (exists (?VA ?D) (and (or (instance ?VA Vein) (instance ?VA Artery)) (part ?VA ?H) (instance ?D Damaging) (earlier (WhenFn ?D) (WhenFn ?B)) (patient ?D ?VA))))	Medicine.kif 80-94	Processo e' uma instancia de Bleeding AutonomousAgent experimenta Processo Objeto Processo Objeto e' uma instancia de Vein Objeto e' uma instancia de Artery Objeto e' uma &parte de AutonomousAgent Processo e' uma instancia de Causar Dano tempo de existencia de Processo acontence antes de tempo de existencia de Processo Objeto e' um patient de Processo
(=> (instance ?BC BloodCirculation) (exists (?O ?V ?A ?B) (and (instance ?O Animal) (instance ?B Blood) (moves ?BC ?B) (instance ?A Artery) (instance ?V Vein) (part ?A ?O) (part ?V ?O) (path ?BC ?A) (path ?BC ?V))))	Medicine.kif 491-503	Movimento e' uma instancia de BloodCirculation Objeto Objeto, Objeto and Objeto Objeto e' uma instancia de Animal Objeto e' uma instancia de Sangue moves Movimento and Objeto Objeto e' uma instancia de Artery Objeto e' uma instancia de Vein Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' o caminho ao longo do qual Movimento ocorre Objeto e' o caminho ao longo do qual Movimento ocorre
(=> (instance ?C Capillary) (exists (?A ?V) (and (instance ?A Artery) (instance ?V Vein) (connects ?C ?A ?V))))	Mid-level-ontology.kif 11205-11211	Objeto e' uma instancia de Capillary Objeto Objeto Objeto e' uma instancia de Artery Objeto e' uma instancia de Vein Objeto conecta Objeto e Objeto
(=> (instance ?IVT IVTherapy) (exists (?P ?V ?T) (and (instance ?T IVLine) (path ?IVT ?T) (instance ?V Vein) (destination ?IVT ?V))))	Medicine.kif 1078-1085	Movimento e' uma instancia de IVTherapy Entidade Entidade and Objeto Objeto e' uma instancia de IVLine Objeto e' o caminho ao longo do qual Movimento ocorre Entidade e' uma instancia de Vein Movimento termina em Entidade

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

KB Term:			Term intersection

English Word: