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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Entity

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 领带服装服装subclass

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