defaultMinimumWidth - Sigma Knowledge base Browser

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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: