TreeView Knowledge Base Browser - defaultMinimumHeight

appearance as argument number 1

(documentation defaultMinimumHeight EnglishLanguage "A BinaryPredicate that states the assumed minimum height of an Object")	Mid-level-ontology.kif 13346-13346
(domain defaultMinimumHeight 2 LengthMeasure)	Mid-level-ontology.kif 13345-13345	defaultMinimumHeight 的 2 数量是长度测量的 instance
(domainSubclass defaultMinimumHeight 1 Object)	Mid-level-ontology.kif 13344-13344	defaultMinimumHeight 的 1 数量是客体的 subclass
(instance defaultMinimumHeight BinaryPredicate)	Mid-level-ontology.kif 13343-13343	defaultMinimumHeight 是二元谓语的 instance

appearance as argument number 2

(format ChineseLanguage defaultMinimumHeight "%1 的 minimum 预期高度是 %2 ")	domainEnglishFormat.kif 3198-3198
(format ChineseTraditionalLanguage defaultMinimumHeight "%1 的 minimum 預期高度是 %2 ")	domainEnglishFormat.kif 3197-3197
(format EnglishLanguage defaultMinimumHeight "the minimum expected height of %1 is %2")	domainEnglishFormat.kif 3196-3196
(termFormat EnglishLanguage defaultMinimumHeight "default minimum height")	Mid-level-ontology.kif 13347-13347

antecedent

(=>
    (defaultMinimumHeight ?OBJECT
        (MeasureFn ?H ?U))
    (modalAttribute
        (exists (?INST ?HEIGHT)
            (and
                (instance ?INST ?OBJECT)
                (height ?INST
                    (MeasureFn ?HEIGHT ?U))
                (lessThan ?HEIGHT ?H))) Unlikely))

Mid-level-ontology.kif 13349-13357

如果有点客体的 minimum 预期高度是实数测量单位，
然后有存在实体和那个实数EIGHT 这样那个实体是有点客体的 instance 和那个实体的 height 是那个实数EIGHT 那个测量单位和那个实数EIGHT 是 lessThan 那个实数的声明 has 较不可能的语气

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

KB Term:			Term intersection

English Word: