TreeView Knowledge Base Browser - defaultMaximumWidth

appearance as argument number 1

(documentation defaultMaximumWidth EnglishLanguage "A BinaryPredicate that states the assumed maximum width of an Object")	Mid-level-ontology.kif 13422-13422
(domain defaultMaximumWidth 2 LengthMeasure)	Mid-level-ontology.kif 13421-13421	The number 2 argument of default maximum width is an instance of length measure
(domainSubclass defaultMaximumWidth 1 Object)	Mid-level-ontology.kif 13420-13420	The number 1 argument of default maximum width is a subclass of object
(instance defaultMaximumWidth BinaryPredicate)	Mid-level-ontology.kif 13419-13419	default maximum width is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage defaultMaximumWidth "%1 的 maximum 预期宽度是 %2 ")	domainEnglishFormat.kif 3190-3190
(format ChineseTraditionalLanguage defaultMaximumWidth "%1 的 maximum 預期寬度是 %2 ")	domainEnglishFormat.kif 3189-3189
(format EnglishLanguage defaultMaximumWidth "the maximum expected width of %1 is %2")	domainEnglishFormat.kif 3188-3188
(termFormat EnglishLanguage defaultMaximumWidth "default maximum width")	Mid-level-ontology.kif 13423-13423

antecedent

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

Mid-level-ontology.kif 13425-13434

If the maximum expected width of a kind of object is a real number an unit of measure(s),
then the statement there exist an entity and the real numberIDTH 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 greater 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: