Tongue - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Tongue AnimalAnatomicalStructure)	Mid-level-ontology.kif 12933-12933	Tongue is a subclass of animal anatomical structure
(subclass Tongue BodyPart)	Mid-level-ontology.kif 12934-12934	Tongue is a subclass of body part
(documentation Tongue EnglishLanguage "Part of the Mouth, used for Tasting Food, Vocalizing, and the initial stage of Digesting.")	Mid-level-ontology.kif 12935-12936	Tongue is a subclass of body part
(externalImage Tongue "http://upload.wikimedia.org/wikipedia/commons/a/a6/ Tongue.agr.jpg")	pictureList.kif 191-191	Tongue is a subclass of body part
(externalImage Tongue "http://articulatesoftware.com/SUMOpictures/people/ bodypart/ mouth/ tongue.png")	pictureList.kif 787-787	Tongue is a subclass of body part

appearance as argument number 2

(muscleInsertion StyloglossusMuscle Tongue)	Muscles.kif 403-403	The insertion point of styloglossus muscle is tongue
(muscleInsertion PalatoglossusMuscle Tongue)	Muscles.kif 412-412	The insertion point of palatoglossus muscle is tongue
(termFormat EnglishLanguage Tongue "tongue")	domainEnglishFormat.kif 58417-58417	The insertion point of palatoglossus muscle is tongue
(termFormat ChineseTraditionalLanguage Tongue "舌")	domainEnglishFormat.kif 58418-58418	The insertion point of palatoglossus muscle is tongue
(termFormat ChineseLanguage Tongue "舌")	domainEnglishFormat.kif 58419-58419	The insertion point of palatoglossus muscle is tongue

antecedent

(=>
    (instance ?TONGUE Tongue)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TONGUE ?MOUTH))))

If X is an instance of tongue, then there exists Y such that Y is an instance of mouth and X is a part of Y

consequent

(=>
    (instance ?L Licking)
    (exists (?T)
        (and
            (instance ?T Tongue)
            (instrument ?L ?T))))

If X is an instance of licking, then there exists Y such that Y is an instance of tongue and Y is an instrument for X