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 12447-12448
(externalImage Vein "http://upload.wikimedia.org/wikipedia/commons/5/51/ Great_saphenous_vein.png")	pictureList.kif 4844-4844
(relatedInternalConcept Vein Artery)	Mid-level-ontology.kif 12446-12446	Vein is internally related to artery
(subclass Vein BloodVessel)	Mid-level-ontology.kif 12445-12445	Vein is a subclass of blood vessel

appearance as argument number 2

(subclass PulmonaryVein Vein)	Mid-level-ontology.kif 12478-12478	Pulmonary vein is a subclass of vein
(termFormat ChineseLanguage Vein "静脉")	domainEnglishFormat.kif 61429-61429	Pulmonary vein is a subclass of vein
(termFormat ChineseTraditionalLanguage Vein "靜脈")	domainEnglishFormat.kif 61428-61428	Pulmonary vein is a subclass of vein
(termFormat EnglishLanguage Vein "vein")	domainEnglishFormat.kif 61427-61427	Pulmonary vein is a subclass of vein

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 12450-12460

If an object is an instance of vein and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood,
then there exists another entity such that the other entity is an instance of heart and the process ends up at the other entity

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	If a process is an instance of bleeding and an agent experiences the process, then there exist an object and another process such that the object is an instance of vein or the object is an instance of artery and the object is a part of the agent and the other process is an instance of damaging and the time of existence of the other process happens earlier than the time of existence of the process and the object is a patient of the other process
(=> (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 480-492	If a motion is an instance of blood circulation, then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of animal and the fourth object is an instance of blood and the fourth object moves during the motion and the third object is an instance of artery and the other object is an instance of vein and the third object is a part of the object and the other object is a part of the object and the third object is path along which the motion occurs and the other object is path along which the motion occurs
(=> (instance ?C Capillary) (exists (?A ?V) (and (instance ?A Artery) (instance ?V Vein) (connects ?C ?A ?V))))	Mid-level-ontology.kif 12503-12509	If an object is an instance of capillary, then there exist another object and a third object such that the other object is an instance of artery and the third object is an instance of vein and the object connects the other object and the third object
(=> (instance ?IVT IVTherapy) (exists (?V ?T) (and (instance ?T IVLine) (path ?IVT ?T) (instance ?V Vein) (destination ?IVT ?V))))	Medicine.kif 1070-1077	If a motion is an instance of IV Therapy, then there exist an entity and an object such that the object is an instance of IV Line and the object is path along which the motion occurs and the entity is an instance of vein and the motion ends up at the entity

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: