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 6039-6040 | |
| (externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 2/ 27/ Tie_dimple.jpg") | pictureList.kif 10289-10289 | |
| (externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ Andover_ties.JPG") | pictureList.kif 11983-11983 | |
| (externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Louis1667.jpg") | pictureList.kif 11984-11984 | |
| (externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Krawatte_Periodensystem_p1150511.jpg") | pictureList.kif 11988-11988 | |
| (externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ 177_Tie.jpg") | pictureList.kif 11985-11985 | |
| (externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Neckclothitania-1818.gif") | pictureList.kif 11986-11986 | |
| (externalImage TieClothing "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ One_For_the_Suits.jpg") | pictureList.kif 11987-11987 | |
| (subclass TieClothing Clothing) | Mid-level-ontology.kif 6038-6038 | Tie clothing is a subclass of clothing |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TieClothing "领带服装") | domainEnglishFormat.kif 58119-58119 | |
| (termFormat ChineseTraditionalLanguage TieClothing "領帶服裝") | domainEnglishFormat.kif 58118-58118 | |
| (termFormat EnglishLanguage TieClothing "tie clothing") | domainEnglishFormat.kif 58117-58117 |
| antecedent |
|
|
| (=> (and (wears ?P ?T) (instance ?T TieClothing)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (contains ?T ?N)))) |
Mid-level-ontology.kif 6042-6050 |
|
|
|
|