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 11347-11347
(externalImage Toe "http://upload.wikimedia.org/wikipedia/commons/5/5d/Tenen.jpg") pictureList.kif 190-190
(subclass Toe AnimalAnatomicalStructure) Mid-level-ontology.kif 11344-11344 脚趾动物解剖结构subclass
(subclass Toe BodyPart) Mid-level-ontology.kif 11345-11345 脚趾身体部位subclass
(subclass Toe DigitAppendage) Mid-level-ontology.kif 11346-11346 脚趾数字附属物subclass

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


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

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


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


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