Recliner - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Recliner Seat)	Mid-level-ontology.kif 28762-28762	Recliner is a subclass of seat
(documentation Recliner EnglishLanguage "Recliner is a type of Seat whose back can be lowered and the foot can be rasied to allow the sitter to recline in it.")	Mid-level-ontology.kif 28763-28764	Recliner is a subclass of seat
(defaultMinimumHeight Recliner (MeasureFn 39 Inch))	DimensioningAmenities.kif 225-225	The minimum expected height of recliner is 39 inch(s)
(defaultMaximumHeight Recliner (MeasureFn 44 Inch))	DimensioningAmenities.kif 226-226	The maximum expected height of recliner is 44 inch(s)
(defaultMinimumWidth Recliner (MeasureFn 28 Inch))	DimensioningAmenities.kif 227-227	The minimum expected width of recliner is 28 inch(s)
(defaultMaximumWidth Recliner (MeasureFn 45 Inch))	DimensioningAmenities.kif 228-228	The maximum expected width of recliner is 45 inch(s)
(defaultMinimumLength Recliner (MeasureFn 20 Inch))	DimensioningAmenities.kif 229-229	The minimum expected length of recliner is 20 inch(s)
(defaultMaximumLength Recliner (MeasureFn 46 Inch))	DimensioningAmenities.kif 230-230	The maximum expected length of recliner is 46 inch(s)
(defaultMinimumMeasure Recliner (MeasureFn 90 PoundMass))	DimensioningAmenities.kif 231-231	The minimum expected value of recliner is 90 pound mass(s)
(defaultMaximumMeasure Recliner (MeasureFn 200 PoundMass))	DimensioningAmenities.kif 232-232	The maximum expected value of recliner is 200 pound mass(s)

appearance as argument number 2

(termFormat EnglishLanguage Recliner "recliner")

antecedent

(=>
    (instance ?X Recliner)
    (modalAttribute
        (exists (?INCLINE)
            (and
                (instance ?INCLINE Inclining)
                (patient ?INCLINE ?X))) Possibility))

If X is an instance of recliner, then the statement there exists Y such that Y is an instance of inclining and X is a patient of Y has the modal force of possibility