| Sidewalk
| |
| appearance as argument number 1 |
|
|
| (documentation Sidewalk EnglishLanguage "A prepared path for pedestrians alongside a Roadway.") | Mid-level-ontology.kif 17025-17025 | |
| (externalImage Sidewalk "http://articulatesoftware.com/SUMOpictures/geography/ sidewalk.png") | pictureList.kif 730-730 | |
| (subclass Sidewalk StationaryArtifact) | Mid-level-ontology.kif 17024-17024 | Sidewalk は 固定アーチファクト の subclass では |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Sidewalk "人行道") | domainEnglishFormat.kif 52956-52956 | |
| (termFormat ChineseTraditionalLanguage Sidewalk "人行道") | domainEnglishFormat.kif 52955-52955 | |
| (termFormat EnglishLanguage Sidewalk "sidewalk") | domainEnglishFormat.kif 52954-52954 |
| antecedent |
|
|
| (=> (instance ?SIDE Sidewalk) (exists (?ROAD) (and (instance ?ROAD Roadway) (orientation ?SIDE ?ROAD Near)))) |
Mid-level-ontology.kif 17035-17040 | |
| (=> (instance ?SIDE Sidewalk) (hasPurpose ?SIDE (exists (?WALK) (and (instance ?WALK Walking) (path ?WALK ?SIDE))))) |
Mid-level-ontology.kif 17027-17033 |
| consequent |
|
|
| (=> (instance ?C Curb) (exists (?S ?R) (and (instance ?S Sidewalk) (instance ?R Roadway) (connects ?C ?S ?R)))) |
Mid-level-ontology.kif 16424-16430 |
|
|
|