Sidewalk
|
|
appearance as argument number 1 |
(documentation Sidewalk EnglishLanguage "A prepared path for pedestrians alongside a Roadway.") | Mid-level-ontology.kif 15651-15651 | |
(externalImage Sidewalk "http://articulatesoftware.com/SUMOpictures/geography/ sidewalk.png") | pictureList.kif 730-730 | |
(subclass Sidewalk StationaryArtifact) | Mid-level-ontology.kif 15650-15650 | 人行道 是 固定人工制品 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage Sidewalk "人行道") | domainEnglishFormat.kif 52952-52952 | |
(termFormat ChineseTraditionalLanguage Sidewalk "人行道") | domainEnglishFormat.kif 52951-52951 | |
(termFormat EnglishLanguage Sidewalk "sidewalk") | domainEnglishFormat.kif 52950-52950 |
antecedent |
(=> (instance ?SIDE Sidewalk) (exists (?ROAD) (and (instance ?ROAD Roadway) (orientation ?SIDE ?ROAD Near)))) |
Mid-level-ontology.kif 15661-15666 | |
(=> (instance ?SIDE Sidewalk) (hasPurpose ?SIDE (exists (?WALK) (and (instance ?WALK Walking) (path ?WALK ?SIDE))))) |
Mid-level-ontology.kif 15653-15659 |
consequent |
(=> (instance ?C Curb) (exists (?S ?R) (and (instance ?S Sidewalk) (instance ?R Roadway) (connects ?C ?S ?R)))) |
Mid-level-ontology.kif 15050-15056 |