Toe - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Toe AnimalAnatomicalStructure)	Mid-level-ontology.kif 14374-14374	Toe is a subclass of animal anatomical structure
(subclass Toe BodyPart)	Mid-level-ontology.kif 14375-14375	Toe is a subclass of body part
(subclass Toe DigitAppendage)	Mid-level-ontology.kif 14376-14376	Toe is a subclass of digit appendage
(documentation Toe EnglishLanguage "The five extremities of a Foot.")	Mid-level-ontology.kif 14377-14377	Toe is a subclass of digit appendage
(externalImage Toe "http://upload.wikimedia.org/wikipedia/commons/5/5d/Tenen.jpg")	pictureList.kif 190-190	Toe is a subclass of digit appendage

appearance as argument number 2

(termFormat EnglishLanguage Toe "toe")	domainEnglishFormat.kif 58315-58315
(termFormat ChineseTraditionalLanguage Toe "腳趾")	domainEnglishFormat.kif 58316-58316
(termFormat ChineseLanguage Toe "脚趾")	domainEnglishFormat.kif 58317-58317

antecedent

(=>
    (instance ?TOE Toe)
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?TOE ?FOOT))))

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