Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SittingArea

Sigma KEE - SittingArea
SittingArea

appearance as argument number 1
-------------------------


(defaultMaximumMeasure SittingArea
    (MeasureFn 30 SquareYard))
DimensioningAmenities.kif 120-120
(defaultMinimumMeasure SittingArea
    (MeasureFn 10 SquareYard))
DimensioningAmenities.kif 119-119
(documentation SittingArea EnglishLanguage "SittingArea refers to a Region, either Indoor (like a Living Room) or Outdoor (like a Garden sitting area) where people normally sit and entertain guests") Mid-level-ontology.kif 13211-13213
(subclass SittingArea Region) Mid-level-ontology.kif 13210-13210

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage SittingArea "sitting area") Mid-level-ontology.kif 13214-13214

antecedent
-------------------------


(=>
    (instance ?AREA SittingArea)
    (exists (?SEAT)
        (and
            (instance ?SEAT Seat)
            (located ?SEAT ?AREA))))
Mid-level-ontology.kif 13216-13221

consequent
-------------------------


(=>
    (attribute ?X Suite)
    (exists (?AREA)
        (and
            (instance ?AREA SittingArea)
            (located ?AREA ?X))))
Hotel.kif 969-974
(=>
    (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 24666-24676


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners