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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tail
Tail(tail)
bob, bobtail, brush, caudal_appendage, dock, flag, fluke, scut, tail, uropygium, 尾巴

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


(documentation Tail EnglishLanguage "A BodyPart which extends from the rear of the main body of some Vertebrates.") Mid-level-ontology.kif 9419-9420
(externalImage Tail "http://upload.wikimedia.org/wikipedia/commons/2/22/ Tail.emily.jpg") pictureList.kif 186-186 "http://upload.wikimedia.org/wikipedia/commons/2/22/ Tail.emily.jpg" is a URL depicting tail
(subclass Tail AnimalAnatomicalStructure) Mid-level-ontology.kif 9418-9418 Tail is a subclass of animal anatomical structure

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


(termFormat ChineseLanguage Tail "尾巴") domainEnglishFormat.kif 56713-56713 "尾巴" is the printable form of tail in ChineseLanguage
(termFormat ChineseTraditionalLanguage Tail "尾巴") domainEnglishFormat.kif 56712-56712 "尾巴" is the printable form of tail in ChineseTraditionalLanguage
(termFormat EnglishLanguage Tail "tail") domainEnglishFormat.kif 56711-56711 "tail" is the printable form of tail in english language

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


(=>
    (instance ?T Tail)
    (exists (?V)
        (and
            (instance ?V Vertebrate)
            (part ?T ?V)
            (not
                (instance ?V Human)))))
Mid-level-ontology.kif 9422-9428

consequent
-------------------------


(=>
    (instance ?A Toad)
    (not
        (exists (?T)
            (and
                (instance ?T Tail)
                (part ?T ?A)))))
Mid-level-ontology.kif 10218-10224


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners