TreeView Knowledge Base Browser

appearance as argument number 1

(instance suppliesBlood BinaryPredicate)	Anatomy.kif 1968-1968	supplies blood is an instance of binary predicate
(documentation suppliesBlood EnglishLanguage "A relation between a class of Artery and a class of BodyPart that that indicates blood is supplied through the artery to the part in a normal and healthy version of an organism.")	Anatomy.kif 1971-1972	supplies blood is an instance of binary predicate
(domainSubclass suppliesBlood 1 Artery)	Anatomy.kif 1973-1973	The number 1 argument of supplies blood is a subclass of artery
(domainSubclass suppliesBlood 2 BodyPart)	Anatomy.kif 1974-1974	The number 2 argument of supplies blood is a subclass of body part

appearance as argument number 2

(termFormat EnglishLanguage suppliesBlood "supplies blood")

Anatomy.kif 1969-1969

antecedent

(=>
    (and
        (suppliesBlood ?AC ?BPC)
        (instance ?A ?AC)
        (instance ?BP ?BPC))
    (hasPurpose ?A
        (exists (?BF ?B)
            (and
                (instance ?BF LiquidMotion)
                (objectTransferred ?BF ?B)
                (instance ?B Blood)
                (destination ?BF ?BP)))))

Anatomy.kif 1976-1987

If supplies blood X and Y, Z is an instance of X, and W is an instance of Y, then Z has the purpose there exist V, U such that V is an instance of liquid motion, the object transferred in V is U, U is an instance of blood, and V ends up at W

appearance as argument number 0

(suppliesBlood OccipitalArtery OccipitalisMuscle)	Muscles.kif 38-38	supplies blood occipital artery and occipitalis muscle
(suppliesBlood OphthalmicArtery FrontalisMuscle)	Muscles.kif 48-48	supplies blood ophthalmic artery and frontalis muscle
(suppliesBlood OphthalmicArtery OrbicularisOculiMuscle)	Muscles.kif 58-58	supplies blood ophthalmic artery and orbicularis oculi muscle
(suppliesBlood OphthalmicArtery CorrugatorSuperciliiMuscle)	Muscles.kif 68-68	supplies blood ophthalmic artery and corrugator supercilii muscle
(suppliesBlood OphthalmicArtery LevatorPalpebraeSuperiorisMuscle)	Muscles.kif 83-83	supplies blood ophthalmic artery and levator palpebrae superioris muscle
(suppliesBlood OphthalmicArtery SuperiorTarsalMuscle)	Muscles.kif 95-95	supplies blood ophthalmic artery and Muller's muscle
(suppliesBlood OphthalmicArtery SuperiorRectusMuscle)	Muscles.kif 105-105	supplies blood ophthalmic artery and superior rectus muscle
(suppliesBlood OphthalmicArtery InferiorRectusMuscle)	Muscles.kif 115-115	supplies blood ophthalmic artery and inferior rectus muscle
(suppliesBlood OphthalmicArtery MedialRectusMuscle)	Muscles.kif 125-125	supplies blood ophthalmic artery and medial rectus muscle
(suppliesBlood OphthalmicArtery LateralRectusMuscle)	Muscles.kif 133-133	supplies blood ophthalmic artery and lateral rectus muscle
(suppliesBlood LateralMuscularBranchOfOphthalmicArtery SuperiorObliqueMuscle)	Muscles.kif 143-143	supplies blood LateralMuscularBranchOfOphthalmicArtery and superior oblique muscle
(suppliesBlood PosteriorAuricularArtery AuricularisAnteriorMuscle)	Muscles.kif 167-167	supplies blood posterior auricular artery and auricularis anterior muscle
(suppliesBlood PosteriorAuricularArtery AuricularisSuperiorMuscle)	Muscles.kif 175-175	supplies blood posterior auricular artery and auricularis superior muscle
(suppliesBlood PosteriorAuricularArtery AuricularisPosteriorMuscle)	Muscles.kif 183-183	supplies blood posterior auricular artery and auricularis posterior muscle
(suppliesBlood StapedialBranchOfPosteriorAuricularArtery StapediusMuscle)	Muscles.kif 191-191	supplies blood StapedialBranchOfPosteriorAuricularArtery and stapedius muscle
(suppliesBlood SuperiorTympanicArtery TensorTympaniMuscle)	Muscles.kif 201-201	supplies blood superior tympanic artery and tensor tympani muscle
(suppliesBlood FacialArtery ProcerusMuscleMuscle)	Muscles.kif 211-211	supplies blood facial artery and procerus muscle
(suppliesBlood SuperiorLabialArtery DepressorSeptiNasiMuscle)	Muscles.kif 221-221	supplies blood superior labial artery and depressor septi nasi muscle
(suppliesBlood SuperiorLabialArtery LevatorLabiiSuperiorisAlaequeNasiMuscle)	Muscles.kif 229-229	supplies blood superior labial artery and levator labii superioris alaeque nasi muscle
(suppliesBlood SuperiorLabialArtery TransversePartCompressorNarisMuscle)	Muscles.kif 237-237	supplies blood superior labial artery and transverse part compressor naris muscle
(suppliesBlood SuperiorLabialArtery AlarPartDilatorNarisMuscle)	Muscles.kif 245-245	supplies blood superior labial artery and alar part dilator naris muscle
(suppliesBlood FacialArtery LevatorAngulaOrisMuscle)	Muscles.kif 253-253	supplies blood facial artery and levator angula oris muscle
(suppliesBlood FacialArtery DepressorAnguliOrisMuscle)	Muscles.kif 262-262	supplies blood facial artery and depressor angula oris muscle
(suppliesBlood SuperiorLabialArtery LevatorLabiiSuperiorisMuscle)	Muscles.kif 270-270	supplies blood superior labial artery and levator labii superioris muscle
(suppliesBlood InferiorLabialArtery DepressorLabiiInferiorisMuscle)	Muscles.kif 279-279	supplies blood inferior labial artery and depressor labii inferioris muscle

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: