TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Patio Region)	Mid-level-ontology.kif 29228-29228	Patio is a subclass of region
(documentation Patio EnglishLanguage "Patio refers to an Region adjoining a building, usually Paved, that is used for outdoor activities")	Mid-level-ontology.kif 29229-29230	Patio is a subclass of region

appearance as argument number 2

(termFormat EnglishLanguage Patio "patio")	Mid-level-ontology.kif 29231-29231
(subclass Lanai Patio)	Mid-level-ontology.kif 29244-29244	Lanai is a subclass of patio

antecedent

(=>
    (instance ?X Patio)
    (and
        (modalAttribute
            (attribute ?X Paved) Likely)
        (exists (?BLDG)
            (and
                (instance ?BLDG Building)
                (orientation ?X ?BLDG Adjacent)
                (located ?X Outdoors)))))

If X is an instance of patio, then the statement paved is an attribute of X has the modal force of likely and there exists Y such that Y is an instance of building, X is adjacent to Y, and X is located at outdoors