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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TieClothing

Sigma KEE - TieClothing
TieClothing(領帶服裝)
more pictures...

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


(documentation TieClothing EnglishLanguage "Clothing that is intended to be worn around the Neck and knotted at the front.") Mid-level-ontology.kif 5077-5078
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 2/ 27/ Tie_dimple.jpg") pictureList.kif 10291-10291
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ Andover_ties.JPG") pictureList.kif 11990-11990
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Louis1667.jpg") pictureList.kif 11991-11991
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Krawatte_Periodensystem_p1150511.jpg") pictureList.kif 11995-11995
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ 177_Tie.jpg") pictureList.kif 11992-11992
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Neckclothitania-1818.gif") pictureList.kif 11993-11993
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ One_For_the_Suits.jpg") pictureList.kif 11994-11994
(subclass TieClothing Clothing) Mid-level-ontology.kif 5076-5076 子類 領帶服裝 and Clothing

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


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

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


(=>
    (and
        (wears ?P ?T)
        (instance ?T TieClothing))
    (exists (?N)
        (and
            (instance ?N Neck)
            (part ?N ?P)
            (contains ?T ?N))))
Mid-level-ontology.kif 5080-5088


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 is open source software produced by Articulate Software and its partners