Roof - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Roof EnglishLanguage "The top of a Building.")	Mid-level-ontology.kif 13055-13055
(externalImage Roof "http://upload.wikimedia.org/wikipedia/commons/2/29/ Roofes.JPG")	pictureList.kif 159-159
(subclass Roof StationaryArtifact)	Mid-level-ontology.kif 13054-13054	Roof is a subclass of stationary artifact

appearance as argument number 2

(termFormat ChineseLanguage Roof "屋顶")	domainEnglishFormat.kif 50327-50327
(termFormat ChineseTraditionalLanguage Roof "屋頂")	domainEnglishFormat.kif 50326-50326
(termFormat EnglishLanguage Roof "roof")	domainEnglishFormat.kif 50325-50325

antecedent

(=>
    (instance ?ROOF Roof)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (top ?ROOF ?BUILDING))))

Mid-level-ontology.kif 13057-13062

consequent

(=> (instance ?X Courtyard) (and (not (exists (?ROOF) (and (instance ?ROOF Roof) (top ?ROOF ?X)))) (exists (?BLDG) (and (instance ?BLDG Building) (orientation ?X ?BLDG Surrounded)))))	Mid-level-ontology.kif 24045-24056	If a self connected object is an instance of courtyard, then there doesn't exist another self connected object such that the other self connected object is an instance of roof and the top of the self connected object is the other self connected object and there exists an object such that the object is an instance of building and the self connected object is surrounded to the object
(=> (instance ?X Lanai) (exists (?ROOF) (and (instance ?ROOF Roof) (part ?ROOF ?X) (modalAttribute (exists (?AREA) (and (instance ?AREA SittingArea) (located ?AREA ?X))) Likely))))	Mid-level-ontology.kif 24784-24794	If an object is an instance of Lanai, then there exists another object such that the other object is an instance of roof and the other object is a part of the object and the statement there exists an entity such that the entity is an instance of sitting area and the entity is located at the object has the modal force of likely