Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


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

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


(termFormat EnglishLanguage Tail "tail") domainEnglishFormat.kif 56762-56762
(termFormat ChineseTraditionalLanguage Tail "尾巴") domainEnglishFormat.kif 56763-56763
(termFormat ChineseLanguage Tail "尾巴") domainEnglishFormat.kif 56764-56764

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


(=>
    (instance ?T Tail)
    (exists (?V)
        (and
            (instance ?V Vertebrate)
            (part ?T ?V)
            (not
                (instance ?V Human)))))		 Mid-level-ontology.kif 12452-12458 If X is an instance of tail, then there exists Y such that Y is an instance of vertebrate, X is a part of Y, and Y is not an instance of human

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


(=>
    (instance ?A Toad)
    (not
        (exists (?T)
            (and
                (instance ?T Tail)
                (part ?T ?A)))))		 Mid-level-ontology.kif 14112-14118 If X is an instance of toad, then there doesn't exist Y such that Y is an instance of tail and Y is a part of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners