CityBlock - Sigma Knowledge base Browser

appearance as argument number 1

(subclass CityBlock LandArea)	Mid-level-ontology.kif 9425-9425	City block is a subclass of land area
(documentation CityBlock EnglishLanguage "A square-shaped area surrounded by Roadways which is part of a City and typically contains Buildings.")	Mid-level-ontology.kif 9426-9427	City block is a subclass of land area
(externalImage CityBlock "http://upload.wikimedia.org/wikipedia/commons/ b/ be/ City_block.PNG")	pictureList.kif 5914-5914	City block is a subclass of land area

appearance as argument number 2

(termFormat EnglishLanguage CityBlock "city block")	domainEnglishFormat.kif 14910-14910
(termFormat ChineseTraditionalLanguage CityBlock "城市街區")	domainEnglishFormat.kif 14911-14911
(termFormat ChineseLanguage CityBlock "城市街区")	domainEnglishFormat.kif 14912-14912

antecedent

(=>
    (instance ?B CityBlock)
    (exists (?C)
        (and
            (instance ?C City)
            (part ?B ?C))))

If X is an instance of city block, then there exists Y such that Y is an instance of city and X is a part of Y