TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Artery EnglishLanguage "Any BloodVessel which transfers Blood from the Heart to the extremities of the body.")	Mid-level-ontology.kif 10607-10608
(externalImage Artery "http://upload.wikimedia.org/wikipedia/commons/d/d6/ Maxillary_artery.PNG")	pictureList.kif 4510-4510
(subclass Artery BloodVessel)	Mid-level-ontology.kif 10606-10606	Artery is a subclass of blood vessel

appearance as argument number 2

(relatedInternalConcept Vein Artery)	Mid-level-ontology.kif 10623-10623	Vein is internally related to artery
(subclass PulmonaryArtery Artery)	Mid-level-ontology.kif 10639-10639	Pulmonary artery is a subclass of artery
(termFormat ChineseLanguage Artery "动脉")	domainEnglishFormat.kif 8517-8517
(termFormat ChineseTraditionalLanguage Artery "動脈")	domainEnglishFormat.kif 8516-8516
(termFormat EnglishLanguage Artery "artery")	domainEnglishFormat.kif 8515-8515

antecedent

(=>
    (and
        (instance ?ARTERY Artery)
        (instance ?TRANSFER Transfer)
        (patient ?TRANSFER ?BLOOD)
        (instrument ?TRANSFER ?ARTERY)
        (instance ?BLOOD Blood))
    (exists (?HEART)
        (and
            (instance ?HEART Heart)
            (origin ?TRANSFER ?HEART))))

Mid-level-ontology.kif 10610-10620

If an object is an instance of artery 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 object such that the other object is an instance of heart and the process originates at the other object

consequent

(=>
    (instance ?C Capillary)
    (exists (?A ?V)
        (and
            (instance ?A Artery)
            (instance ?V Vein)
            (connects ?C ?A ?V))))

Mid-level-ontology.kif 10680-10686

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

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: