more pictures...
| TieClothing(tie clothing)
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 |
|
|
| (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 | Tie clothing is a subclass of clothing |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TieClothing "领带服装") | domainEnglishFormat.kif 58126-58126 | |
| (termFormat ChineseTraditionalLanguage TieClothing "領帶服裝") | domainEnglishFormat.kif 58125-58125 | |
| (termFormat EnglishLanguage TieClothing "tie clothing") | domainEnglishFormat.kif 58124-58124 |
| 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 |
|
|
|
|