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 13395-13395
(domain defaultMaximumWidth 2 LengthMeasure)	Mid-level-ontology.kif 13394-13394	域 defaultMaximumWidth, 2 and LengthMeasure
(domainSubclass defaultMaximumWidth 1 Object)	Mid-level-ontology.kif 13393-13393	域子類 defaultMaximumWidth, 1 and Object
(instance defaultMaximumWidth BinaryPredicate)	Mid-level-ontology.kif 13392-13392	例 defaultMaximumWidth and BinaryPredicate

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 13396-13396

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 13398-13407

Object 的 maximum 預期寬度是測量 RealNumber and UnitOfMeasure
模態屬性 entity RealNumberIDTH 例 entity and Object 寬度 entity and 測量 RealNumberIDTH and UnitOfMeasure 比較多 RealNumberIDTH and RealNumber and 較不可能

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

KB Term:			Term intersection

English Word: