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 27674-27675
(subclass Courtyard StationaryArtifact)	Mid-level-ontology.kif 27673-27673	Courtyard is a subclass of stationary artifact

appearance as argument number 2

(termFormat EnglishLanguage Courtyard "courtyard")

Mid-level-ontology.kif 27676-27676

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 27678-27689

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: