Courtyard - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Courtyard EnglishLanguage "Courtyard is an unroofed area wholly or partly surrounded by walls or buildings")	Mid-level-ontology.kif 26281-26282
(subclass Courtyard StationaryArtifact)	Mid-level-ontology.kif 26280-26280	Courtyard is a subclass of stationary artifact

appearance as argument number 2

(termFormat EnglishLanguage Courtyard "courtyard")

Mid-level-ontology.kif 26283-26283

antecedent

(=>
    (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 26285-26296

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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: