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 4805-4806
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 2/ 27/ Tie_dimple.jpg") pictureList.kif 10301-10301
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ Andover_ties.JPG") pictureList.kif 12006-12006
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Louis1667.jpg") pictureList.kif 12007-12007
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Krawatte_Periodensystem_p1150511.jpg") pictureList.kif 12011-12011
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ 177_Tie.jpg") pictureList.kif 12008-12008
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Neckclothitania-1818.gif") pictureList.kif 12009-12009
(externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ One_For_the_Suits.jpg") pictureList.kif 12010-12010
(subclass TieClothing Clothing) Mid-level-ontology.kif 4804-4804

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


(termFormat ChineseLanguage TieClothing "领带服装") domainEnglishFormat.kif 58049-58049
(termFormat ChineseTraditionalLanguage TieClothing "領帶服裝") domainEnglishFormat.kif 58048-58048
(termFormat EnglishLanguage TieClothing "tie clothing") domainEnglishFormat.kif 58047-58047

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


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


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