TreeView Knowledge Base Browser - defaultMinimumWidth

appearance as argument number 1

(instance defaultMinimumWidth BinaryPredicate)	Mid-level-ontology.kif 14939-14939	default minimum width is an instance of binary predicate
(domainSubclass defaultMinimumWidth 1 Object)	Mid-level-ontology.kif 14940-14940	The number 1 argument of default minimum width is a subclass of object
(domain defaultMinimumWidth 2 LengthMeasure)	Mid-level-ontology.kif 14941-14941	The number 2 argument of default minimum width is an instance of length measure
(documentation defaultMinimumWidth EnglishLanguage "A BinaryPredicate that states the assumed minimum width of an Object")	Mid-level-ontology.kif 14942-14942	The number 2 argument of default minimum width is an instance of length measure

appearance as argument number 2

(termFormat EnglishLanguage defaultMinimumWidth "default minimum width")	Mid-level-ontology.kif 14943-14943
(format EnglishLanguage defaultMinimumWidth "the minimum expected width of %1 is %2")	domainEnglishFormat.kif 3208-3208
(format ChineseTraditionalLanguage defaultMinimumWidth "%1 的 minimum 預期寬度是 %2 ")	domainEnglishFormat.kif 3209-3209
(format ChineseLanguage defaultMinimumWidth "%1 的 minimum 预期宽度是 %2 ")	domainEnglishFormat.kif 3210-3210

antecedent

(=>
    (defaultMinimumWidth ?OBJECT
        (MeasureFn ?W ?U))
    (modalAttribute
        (exists (?INST ?WIDTH)
            (and
                (instance ?INST ?OBJECT)
                (width ?INST
                    (MeasureFn ?WIDTH ?U))
                (lessThan ?WIDTH ?W))) Unlikely))

Mid-level-ontology.kif 14945-14953

If the minimum expected width of X is Y Z(s), then the statement there exist W and V such that W is an instance of X and the width of W is V Z(s) and V is less than Y has the modal force of unlikely

appearance as argument number 0

(defaultMinimumWidth BathTub (MeasureFn 30 Inch))	DimensioningAmenities.kif 31-31	The minimum expected width of tub is 30 inch(s)
(defaultMinimumWidth WhirlpoolTub (MeasureFn 32 Inch))	DimensioningAmenities.kif 42-42	The minimum expected width of whirlpool tub is 32 inch(s)
(defaultMinimumWidth GrecianTub (MeasureFn 32 Inch))	DimensioningAmenities.kif 53-53	The minimum expected width of grecian tub is 32 inch(s)
(defaultMinimumWidth FourPosterBed (MeasureFn 40 Inch))	DimensioningAmenities.kif 62-62	The minimum expected width of four-poster bed is 40 inch(s)
(defaultMinimumWidth ElectricCoffeeMaker (MeasureFn 6 Inch))	DimensioningAmenities.kif 73-73	The minimum expected width of coffee maker is 6 inch(s)
(defaultMinimumWidth Crib (MeasureFn 30 Inch))	DimensioningAmenities.kif 82-82	The minimum expected width of crib is 30 inch(s)
(defaultMinimumWidth Desk (MeasureFn 21 Inch))	DimensioningAmenities.kif 100-100	The minimum expected width of desk is 21 inch(s)
(defaultMinimumWidth DoubleBed (MeasureFn 54 Inch))	DimensioningAmenities.kif 109-109	The minimum expected width of full-sized bed is 54 inch(s)
(defaultMinimumWidth IroningBoard (MeasureFn 12 Inch))	DimensioningAmenities.kif 128-128	The minimum expected width of ironing board is 12 inch(s)
(defaultMinimumWidth KingBed (MeasureFn 72 Inch))	DimensioningAmenities.kif 137-137	The minimum expected width of king-sized bed is 72 inch(s)
(defaultMinimumWidth QueenBed (MeasureFn 60 Inch))	DimensioningAmenities.kif 146-146	The minimum expected width of queen-sized bed is 60 inch(s)
(defaultMinimumWidth SingleBed (MeasureFn 38 Inch))	DimensioningAmenities.kif 155-155	The minimum expected width of twin-sized bed is 38 inch(s)
(defaultMinimumWidth BedFrame (MeasureFn 38 Inch))	DimensioningAmenities.kif 164-164	The minimum expected width of bed frame is 38 inch(s)
(defaultMinimumWidth BunkBed (MeasureFn 38 Inch))	DimensioningAmenities.kif 173-173	The minimum expected width of bunk bed is 38 inch(s)
(defaultMinimumWidth Microwave (MeasureFn 18 Inch))	DimensioningAmenities.kif 182-182	The minimum expected width of microwave is 18 inch(s)
(defaultMinimumWidth VideoDisplay (MeasureFn 13 Inch))	DimensioningAmenities.kif 191-191	The minimum expected width of video display is 13 inch(s)
(defaultMinimumWidth CableTelevisionSystem (MeasureFn 13 Inch))	DimensioningAmenities.kif 200-200	The minimum expected width of cable television system is 13 inch(s)
(defaultMinimumWidth SatelliteTelevisionSystem (MeasureFn 13 Inch))	DimensioningAmenities.kif 209-209	The minimum expected width of satellite tv is 13 inch(s)
(defaultMinimumWidth Refrigerator (MeasureFn 15 Inch))	DimensioningAmenities.kif 218-218	The minimum expected width of refrigerator is 15 inch(s)
(defaultMinimumWidth Recliner (MeasureFn 28 Inch))	DimensioningAmenities.kif 227-227	The minimum expected width of recliner is 28 inch(s)
(defaultMinimumWidth WetBar (MeasureFn 50 Inch))	DimensioningAmenities.kif 236-236	The minimum expected width of wet bar is 50 inch(s)
(defaultMinimumWidth VideoCassette (MeasureFn 16 Inch))	DimensioningAmenities.kif 245-245	The minimum expected width of video cassette is 16 inch(s)
(defaultMinimumWidth VideoGamePlayer (MeasureFn 6 Inch))	DimensioningAmenities.kif 254-254	The minimum expected width of video game player is 6 inch(s)
(defaultMinimumWidth Toilet (MeasureFn 38 Centimeter))	DimensioningAmenities.kif 263-263	The minimum expected width of toilet is 38 centimeter(s)
(defaultMinimumWidth Bidet (MeasureFn 3 Centimeter))	DimensioningAmenities.kif 272-272	The minimum expected width of bidet is 3 centimeter(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: