| 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 5188-5190 | |
| (externalImage ShoeSole "http://upload.wikimedia.org/wikipedia/commons/3/ 39/ Dr_Martens%2C_black%2C_old.jpg") | pictureList.kif 8708-8708 | |
| (subclass ShoeSole Artifact) | Mid-level-ontology.kif 5191-5191 | Shoe sole is a subclass of artifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ShoeSole "鞋底") | domainEnglishFormat.kif 52801-52801 | |
| (termFormat ChineseTraditionalLanguage ShoeSole "鞋底") | domainEnglishFormat.kif 52800-52800 | |
| (termFormat EnglishLanguage ShoeSole "shoe sole") | domainEnglishFormat.kif 52799-52799 |
| antecedent |
|
|
| (=> (instance ?SS ShoeSole) (exists (?S) (and (instance ?S Shoe) (bottom ?SS ?S)))) |
Mid-level-ontology.kif 5193-5198 |
|
| consequent |
|
|
| (=> (instance ?S Sandal) (exists (?SOLE) (and (instance ?SOLE ShoeSole) (part ?SOLE ?S) (attribute ?SOLE Flat)))) |
Mid-level-ontology.kif 5228-5234 |
|
|
|
|