TreeView Knowledge Base Browser

appearance as argument number 1

(subclass SittingArea Region)	Mid-level-ontology.kif 17127-17127	Sitting area is a subclass of region
(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 17128-17130	Sitting area is a subclass of region
(defaultMinimumMeasure SittingArea (MeasureFn 10 SquareYard))	DimensioningAmenities.kif 119-119	The minimum expected value of sitting area is 10 square yard(s)
(defaultMaximumMeasure SittingArea (MeasureFn 30 SquareYard))	DimensioningAmenities.kif 120-120	The maximum expected value of sitting area is 30 square yard(s)

appearance as argument number 2

(termFormat EnglishLanguage SittingArea "sitting area")

antecedent

(=>
    (instance ?AREA SittingArea)
    (exists (?SEAT)
        (and
            (instance ?SEAT Seat)
            (located ?SEAT ?AREA))))

If X is an instance of sitting area, then there exists Y such that Y is an instance of seat and Y is located at X

consequent

(=> (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 29249-29259	If X is an instance of lanai, then there exists Y such that Y is an instance of roof, Y is a part of X, the statement there exists Z such that Z is an instance of sitting area, and Z is located at X has the modal force of likely
(=> (attribute ?X Suite) (exists (?AREA) (and (instance ?AREA SittingArea) (located ?AREA ?X))))	Hotel.kif 1024-1029	If suite is an attribute of X, then there exists Y such that Y is an instance of sitting area and Y is located at X