| 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 5743-5745 | |
| (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 5746-5746 | Shoe sole is a subclass of artifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ShoeSole "鞋底") | domainEnglishFormat.kif 52794-52794 | |
| (termFormat ChineseTraditionalLanguage ShoeSole "鞋底") | domainEnglishFormat.kif 52793-52793 | |
| (termFormat EnglishLanguage ShoeSole "shoe sole") | domainEnglishFormat.kif 52792-52792 |
| antecedent |
|
|
| (=> (instance ?SS ShoeSole) (exists (?S) (and (instance ?S Shoe) (bottom ?SS ?S)))) |
Mid-level-ontology.kif 5748-5753 |
|
| consequent |
|
|
| (=> (instance ?S Sandal) (exists (?SOLE) (and (instance ?SOLE ShoeSole) (part ?SOLE ?S) (attribute ?SOLE Flat)))) |
Mid-level-ontology.kif 5783-5789 |
|
|
|
|