|
|
   TieClothing
|
|
|
| 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 |
|
|
|
