| Sidewalk
| |
| appearance as argument number 1 |
|
|
| (documentation Sidewalk EnglishLanguage "A prepared path for pedestrians alongside a Roadway.") | Mid-level-ontology.kif 13298-13298 | |
| (externalImage Sidewalk "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ sidewalk.png") | pictureList.kif 730-730 | externalImage Sidewalk and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ geography/ sidewalk.png" |
| (subclass Sidewalk StationaryArtifact) | Mid-level-ontology.kif 13297-13297 | subclass Sidewalk and StationaryArtifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Sidewalk "人行道") | domainEnglishFormat.kif 52891-52891 | termFormat ChineseLanguage, Sidewalk and "人行道" |
| (termFormat ChineseTraditionalLanguage Sidewalk "人行道") | domainEnglishFormat.kif 52890-52890 | termFormat ChineseTraditionalLanguage, Sidewalk and "人行道" |
| (termFormat EnglishLanguage Sidewalk "sidewalk") | domainEnglishFormat.kif 52889-52889 | termFormat EnglishLanguage, Sidewalk and "sidewalk" |
| antecedent |
|
|
| (=> (instance ?SIDE Sidewalk) (exists (?ROAD) (and (instance ?ROAD Roadway) (orientation ?SIDE ?ROAD Near)))) |
Mid-level-ontology.kif 13307-13312 | |
| (=> (instance ?SIDE Sidewalk) (hasPurpose ?SIDE (exists (?WALK) (and (instance ?WALK Walking) (path ?WALK ?SIDE))))) |
Mid-level-ontology.kif 13300-13305 |
| consequent |
|
|
| (=> (instance ?C Curb) (exists (?S ?R) (and (instance ?S Sidewalk) (instance ?R Roadway) (connects ?C ?S ?R)))) |
Mid-level-ontology.kif 12735-12741 |
|
|
|