Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Sidewalk(sidewalk)
|  | pavement, sidewalk |
| appearance as argument number 1 |
|
|
| (subclass Sidewalk StationaryArtifact) | Mid-level-ontology.kif 17250-17250 | Sidewalk is a subclass of stationary artifact |
| (documentation Sidewalk EnglishLanguage "A prepared path for pedestrians alongside a Roadway.") | Mid-level-ontology.kif 17251-17251 | Sidewalk is a subclass of stationary artifact |
| (externalImage Sidewalk "http://articulatesoftware.com/SUMOpictures/geography/ sidewalk.png") | pictureList.kif 730-730 | Sidewalk is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?SIDE Sidewalk) (hasPurpose ?SIDE (exists (?WALK) (and (instance ?WALK Walking) (path ?WALK ?SIDE))))) |
Mid-level-ontology.kif 17253-17259 | If X is an instance of sidewalk, then X has the purpose there exists Y such that Y is an instance of walking and X is path along which Y occurs |
| (=> (instance ?SIDE Sidewalk) (exists (?ROAD) (and (instance ?ROAD Roadway) (orientation ?SIDE ?ROAD Near)))) |
Mid-level-ontology.kif 17261-17266 | If X is an instance of sidewalk, then there exists Y such that Y is an instance of roadway and X is near to Y |
| consequent |
|
|
| (=> (instance ?C Curb) (exists (?S ?R) (and (instance ?S Sidewalk) (instance ?R Roadway) (connects ?C ?S ?R)))) |
Mid-level-ontology.kif 16626-16632 | If X is an instance of curb, then there exist Y, Z such that Y is an instance of sidewalk, Z is an instance of roadway, X connects Y, and Z |
|