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 13406-13406
(domain defaultMinimumWidth 2 LengthMeasure)	Mid-level-ontology.kif 13405-13405	defaultMinimumWidth の数値 2 引数は長さ測定の instance では %n
(domainSubclass defaultMinimumWidth 1 Object)	Mid-level-ontology.kif 13404-13404	defaultMinimumWidth の数値 1 引数はオブジェクトのsubclass では %n
(instance defaultMinimumWidth BinaryPredicate)	Mid-level-ontology.kif 13403-13403	defaultMinimumWidth は 2進述語の instance では %n

appearance as argument number 2

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

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 13409-13417

defaultMinimumWidth オブジェクト and 実数の測定単位(s)
ステートメントエンティティー実数IDTH エンティティーはオブジェクトの instance では %n エンティティーの width は実数IDTH の測定単位(s) では %n 実数IDTH は実数より less では %n には Unlikely の modal force がある

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

KB Term:			Term intersection

English Word: