Sidewalk
|
|
appearance as argument number 1 |
(documentation Sidewalk EnglishLanguage "A prepared path for pedestrians alongside a Roadway.") | Mid-level-ontology.kif 15679-15679 | |
(externalImage Sidewalk "http://articulatesoftware.com/SUMOpictures/geography/ sidewalk.png") | pictureList.kif 730-730 | |
(subclass Sidewalk StationaryArtifact) | Mid-level-ontology.kif 15678-15678 | Sidewalk è una sottoclasse di ManufattoStatico |
appearance as argument number 2 |
(termFormat ChineseLanguage Sidewalk "人行道") | domainEnglishFormat.kif 52954-52954 | |
(termFormat ChineseTraditionalLanguage Sidewalk "人行道") | domainEnglishFormat.kif 52953-52953 | |
(termFormat EnglishLanguage Sidewalk "sidewalk") | domainEnglishFormat.kif 52952-52952 |
antecedent |
(=> (instance ?SIDE Sidewalk) (exists (?ROAD) (and (instance ?ROAD Roadway) (orientation ?SIDE ?ROAD Near)))) |
Mid-level-ontology.kif 15689-15694 | |
(=> (instance ?SIDE Sidewalk) (hasPurpose ?SIDE (exists (?WALK) (and (instance ?WALK Walking) (path ?WALK ?SIDE))))) |
Mid-level-ontology.kif 15681-15687 |
|
consequent |
(=> (instance ?C Curb) (exists (?S ?R) (and (instance ?S Sidewalk) (instance ?R Roadway) (connects ?C ?S ?R)))) |
Mid-level-ontology.kif 15078-15084 |