| 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 6131-6133 | |
| (externalImage ShoeSole "http://upload.wikimedia.org/wikipedia/commons/3/ 39/ Dr_Martens%2C_black%2C_old.jpg") | pictureList.kif 8707-8707 | |
| (subclass ShoeSole Artifact) | Mid-level-ontology.kif 6134-6134 | Shoe sole is a subclass of artifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ShoeSole "鞋底") | domainEnglishFormat.kif 52765-52765 | |
| (termFormat ChineseTraditionalLanguage ShoeSole "鞋底") | domainEnglishFormat.kif 52764-52764 | |
| (termFormat EnglishLanguage ShoeSole "shoe sole") | domainEnglishFormat.kif 52763-52763 |
| antecedent |
|
|
| (=> (instance ?SS ShoeSole) (exists (?S) (and (instance ?S Shoe) (bottom ?SS ?S)))) |
Mid-level-ontology.kif 6136-6141 |
|
| consequent |
|
|
| (=> (instance ?S Sandal) (exists (?SOLE) (and (instance ?SOLE ShoeSole) (part ?SOLE ?S) (attribute ?SOLE Flat)))) |
Mid-level-ontology.kif 6171-6177 |
|
|
|
|