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

KB Term:  Term intersection
English Word: 

Sigma KEE - TieClothing
TieClothing(tie)
more pictures...		Windsor_tie, bola, bola_tie, bolo, bolo_tie, bow-tie, bow_tie, bowtie, four-in-hand, necktie, old_school_tie, string_tie, tie

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


(subclass TieClothing Clothing) Mid-level-ontology.kif 6177-6177 Tie is a subclass of clothing
(documentation TieClothing EnglishLanguage "Clothing that is intended to be worn around the Neck and knotted at the front.") Mid-level-ontology.kif 6178-6179 Tie is a subclass of clothing
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 2/ 27/ Tie_dimple.jpg") pictureList.kif 10289-10289 Tie is a subclass of clothing
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ Andover_ties.JPG") pictureList.kif 11983-11983 Tie is a subclass of clothing
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Louis1667.jpg") pictureList.kif 11984-11984 Tie is a subclass of clothing
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ 177_Tie.jpg") pictureList.kif 11985-11985 Tie is a subclass of clothing
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Neckclothitania-1818.gif") pictureList.kif 11986-11986 Tie is a subclass of clothing
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ One_For_the_Suits.jpg") pictureList.kif 11987-11987 Tie is a subclass of clothing
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Krawatte_Periodensystem_p1150511.jpg") pictureList.kif 11988-11988 Tie is a subclass of clothing

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


(termFormat EnglishLanguage TieClothing "tie") domainEnglishFormat.kif 58081-58081
(termFormat ChineseTraditionalLanguage TieClothing "領帶服裝") domainEnglishFormat.kif 58082-58082
(termFormat ChineseLanguage TieClothing "领带服装") domainEnglishFormat.kif 58083-58083

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


(=>
    (and
        (wears ?P ?T)
        (instance ?T TieClothing))
    (exists (?N)
        (and
            (instance ?N Neck)
            (part ?N ?P)
            (contains ?T ?N))))		 Mid-level-ontology.kif 6181-6189 If X wears Y and Y is an instance of tie, then there exists Z such that Z is an instance of neck, Z is a part of X, and Y contains Z


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