Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Tail

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners