Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Toe
Toe

appearance as argument number 1
-------------------------


(documentation Toe EnglishLanguage "The five extremities of a Foot.") Mid-level-ontology.kif 9593-9593
(externalImage Toe "http://upload.wikimedia.org/wikipedia/commons/5/5d/Tenen.jpg") pictureList.kif 190-190
(subclass Toe AnimalAnatomicalStructure) Mid-level-ontology.kif 9590-9590
(subclass Toe BodyPart) Mid-level-ontology.kif 9591-9591
(subclass Toe DigitAppendage) Mid-level-ontology.kif 9592-9592

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Toe "脚趾") domainEnglishFormat.kif 58282-58282
(termFormat ChineseTraditionalLanguage Toe "腳趾") domainEnglishFormat.kif 58281-58281
(termFormat EnglishLanguage Toe "toe") domainEnglishFormat.kif 58280-58280

antecedent
-------------------------


(=>
    (instance ?TOE Toe)
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?TOE ?FOOT))))
Mid-level-ontology.kif 9595-9600


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



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