TreeView Knowledge Base Browser - defaultMinimumWidth

appearance as argument number 1

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

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 12845-12853

If the minimum expected width of a kind of object is a real number an unit of measure(s),
then the statement there exists an entity such that the entity is an instance of a kind of object and the width of the entity is the real numberIDTH the unit of measure(s) and the real numberIDTH is less than the real number has the modal force of unlikely

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

KB Term:			Term intersection

English Word: