| ShoeSole(shoe sole)
| | sole |
| appearance as argument number 1 |
|
|
| (documentation ShoeSole EnglishLanguage "The bottom part of a Shoe that is intended to be the point of contact with the ground while the shoe is being worn.") | Mid-level-ontology.kif 5481-5483 | |
| (externalImage ShoeSole "http://upload.wikimedia.org/wikipedia/commons/3/ 39/ Dr_Martens%2C_black%2C_old.jpg") | pictureList.kif 8713-8713 | |
| (subclass ShoeSole Artifact) | Mid-level-ontology.kif 5484-5484 | Shoe sole is a subclass of artifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ShoeSole "鞋底") | domainEnglishFormat.kif 52755-52755 | |
| (termFormat ChineseTraditionalLanguage ShoeSole "鞋底") | domainEnglishFormat.kif 52754-52754 | |
| (termFormat EnglishLanguage ShoeSole "shoe sole") | domainEnglishFormat.kif 52753-52753 |
| antecedent |
|
|
| (=> (instance ?SS ShoeSole) (exists (?S) (and (instance ?S Shoe) (bottom ?SS ?S)))) |
Mid-level-ontology.kif 5485-5490 |
|
| consequent |
|
|
| (=> (instance ?S Sandal) (exists (?SOLE) (and (instance ?SOLE ShoeSole) (part ?SOLE ?S) (attribute ?SOLE Flat)))) |
Mid-level-ontology.kif 5520-5526 |
|
|
|
|