TreeView Knowledge Base Browser - defaultMinimumLength

appearance as argument number 1

(instance defaultMinimumLength BinaryPredicate)	Mid-level-ontology.kif 14972-14972	default minimum length is an instance of binary predicate
(domainSubclass defaultMinimumLength 1 Object)	Mid-level-ontology.kif 14973-14973	The number 1 argument of default minimum length is a subclass of object
(domain defaultMinimumLength 2 LengthMeasure)	Mid-level-ontology.kif 14974-14974	The number 2 argument of default minimum length is an instance of length measure
(documentation defaultMinimumLength EnglishLanguage "A BinaryPredicate that states the assumed minimum length of an Object")	Mid-level-ontology.kif 14975-14975	The number 2 argument of default minimum length is an instance of length measure

appearance as argument number 2

(termFormat EnglishLanguage defaultMinimumLength "default minimum length")	Mid-level-ontology.kif 14976-14976
(format EnglishLanguage defaultMinimumLength "the minimum expected length of %1 is %2")	domainEnglishFormat.kif 3196-3196
(format ChineseTraditionalLanguage defaultMinimumLength "%1 的 minimum 預期長度是 %2 ")	domainEnglishFormat.kif 3197-3197
(format ChineseLanguage defaultMinimumLength "%1 的 minimum 预期长度是 %2 ")	domainEnglishFormat.kif 3198-3198

antecedent

(=>
    (defaultMinimumLength ?OBJECT
        (MeasureFn ?L ?U))
    (modalAttribute
        (exists (?INST ?LENGTH)
            (and
                (instance ?INST ?OBJECT)
                (length ?INST
                    (MeasureFn ?LENGTH ?U))
                (lessThan ?LENGTH ?L))) Unlikely))

Mid-level-ontology.kif 14978-14986

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

appearance as argument number 0

(defaultMinimumLength Hamster (MeasureFn 5.0 Centimeter))	Mid-level-ontology.kif 33260-33260	The minimum expected length of hamster is 5.0 centimeter(s)
(defaultMinimumLength BathTub (MeasureFn 54 Inch))	DimensioningAmenities.kif 33-33	The minimum expected length of tub is 54 inch(s)
(defaultMinimumLength WhirlpoolTub (MeasureFn 60 Inch))	DimensioningAmenities.kif 44-44	The minimum expected length of whirlpool tub is 60 inch(s)
(defaultMinimumLength GrecianTub (MeasureFn 54 Inch))	DimensioningAmenities.kif 55-55	The minimum expected length of grecian tub is 54 inch(s)
(defaultMinimumLength FourPosterBed (MeasureFn 77 Inch))	DimensioningAmenities.kif 64-64	The minimum expected length of four-poster bed is 77 inch(s)
(defaultMinimumLength ElectricCoffeeMaker (MeasureFn 5 Inch))	DimensioningAmenities.kif 75-75	The minimum expected length of coffee maker is 5 inch(s)
(defaultMinimumLength Crib (MeasureFn 39 Inch))	DimensioningAmenities.kif 84-84	The minimum expected length of crib is 39 inch(s)
(defaultMinimumLength Desk (MeasureFn 21 Inch))	DimensioningAmenities.kif 102-102	The minimum expected length of desk is 21 inch(s)
(defaultMinimumLength DoubleBed (MeasureFn 75 Inch))	DimensioningAmenities.kif 111-111	The minimum expected length of full-sized bed is 75 inch(s)
(defaultMinimumLength IroningBoard (MeasureFn 29 Inch))	DimensioningAmenities.kif 130-130	The minimum expected length of ironing board is 29 inch(s)
(defaultMinimumLength KingBed (MeasureFn 78 Inch))	DimensioningAmenities.kif 139-139	The minimum expected length of king-sized bed is 78 inch(s)
(defaultMinimumLength QueenBed (MeasureFn 80 Inch))	DimensioningAmenities.kif 148-148	The minimum expected length of queen-sized bed is 80 inch(s)
(defaultMinimumLength SingleBed (MeasureFn 75 Inch))	DimensioningAmenities.kif 157-157	The minimum expected length of twin-sized bed is 75 inch(s)
(defaultMinimumLength BedFrame (MeasureFn 75 Inch))	DimensioningAmenities.kif 166-166	The minimum expected length of bed frame is 75 inch(s)
(defaultMinimumLength BunkBed (MeasureFn 75 Inch))	DimensioningAmenities.kif 175-175	The minimum expected length of bunk bed is 75 inch(s)
(defaultMinimumLength Microwave (MeasureFn 14 Inch))	DimensioningAmenities.kif 184-184	The minimum expected length of microwave is 14 inch(s)
(defaultMinimumLength VideoDisplay (MeasureFn 2 Inch))	DimensioningAmenities.kif 193-193	The minimum expected length of video display is 2 inch(s)
(defaultMinimumLength CableTelevisionSystem (MeasureFn 2 Inch))	DimensioningAmenities.kif 202-202	The minimum expected length of cable television system is 2 inch(s)
(defaultMinimumLength SatelliteTelevisionSystem (MeasureFn 2 Inch))	DimensioningAmenities.kif 211-211	The minimum expected length of satellite tv is 2 inch(s)
(defaultMinimumLength Refrigerator (MeasureFn 18 Inch))	DimensioningAmenities.kif 220-220	The minimum expected length of refrigerator is 18 inch(s)
(defaultMinimumLength Recliner (MeasureFn 20 Inch))	DimensioningAmenities.kif 229-229	The minimum expected length of recliner is 20 inch(s)
(defaultMinimumLength WetBar (MeasureFn 23 Inch))	DimensioningAmenities.kif 238-238	The minimum expected length of wet bar is 23 inch(s)
(defaultMinimumLength VideoCassette (MeasureFn 10 Inch))	DimensioningAmenities.kif 247-247	The minimum expected length of video cassette is 10 inch(s)
(defaultMinimumLength VideoGamePlayer (MeasureFn 8 Inch))	DimensioningAmenities.kif 256-256	The minimum expected length of video game player is 8 inch(s)
(defaultMinimumLength Toilet (MeasureFn 48 Centimeter))	DimensioningAmenities.kif 265-265	The minimum expected length of toilet is 48 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: