TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Curb StationaryArtifact)	Mid-level-ontology.kif 16622-16622	Curb is a subclass of stationary artifact
(documentation Curb EnglishLanguage "A raised concrete or asphalt structure that connects a Sidewalk with a Roadway.")	Mid-level-ontology.kif 16623-16624	Curb is a subclass of stationary artifact
(externalImage Curb "http://upload.wikimedia.org/wikipedia/commons/c/cf/ Curb_gutter_storm_drain.JPG")	pictureList.kif 4637-4637	Curb is a subclass of stationary artifact

appearance as argument number 2

(termFormat EnglishLanguage Curb "curb")	domainEnglishFormat.kif 18036-18036
(termFormat ChineseTraditionalLanguage Curb "抑制")	domainEnglishFormat.kif 18037-18037
(termFormat ChineseLanguage Curb "抑制")	domainEnglishFormat.kif 18038-18038

antecedent

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

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