Sidewalk - Sigma Knowledge base Browser

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 ist eine teilkategorie von StationaryArtifact

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	Wenn Object ist ein fall von Sidewalk %n{nicht}, dann es gibt Object um Object ist ein fall von Roadway %n{nicht} und Object ist Near hinsichlich Object %n{nicht}
(=> (instance ?SIDE Sidewalk) (hasPurpose ?SIDE (exists (?WALK) (and (instance ?WALK Walking) (path ?WALK ?SIDE)))))	Mid-level-ontology.kif 15681-15687	Wenn Physical ist ein fall von Sidewalk %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Walking %n{nicht} und Physical ist der pfad entlang dem entity geschieht %n{nicht}

consequent

(=>
    (instance ?C Curb)
    (exists (?S ?R)
        (and
            (instance ?S Sidewalk)
            (instance ?R Roadway)
            (connects ?C ?S ?R))))

Mid-level-ontology.kif 15078-15084