TreeView Knowledge Base Browser - defaultMaximumHeight

appearance as argument number 1

(documentation defaultMaximumHeight EnglishLanguage "A BinaryPredicate that states the assumed maximum height of an Object")	Mid-level-ontology.kif 14701-14701
(domain defaultMaximumHeight 2 LengthMeasure)	Mid-level-ontology.kif 14700-14700	The number 2 argument of default maximum height is an instance of length measure
(domainSubclass defaultMaximumHeight 1 Object)	Mid-level-ontology.kif 14699-14699	The number 1 argument of default maximum height is a subclass of object
(instance defaultMaximumHeight BinaryPredicate)	Mid-level-ontology.kif 14698-14698	default maximum height is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage defaultMaximumHeight "%1 的 maximum 预期高度是 %2 ")	domainEnglishFormat.kif 3170-3170
(format ChineseTraditionalLanguage defaultMaximumHeight "%1 的 maximum 預期高度是 %2 ")	domainEnglishFormat.kif 3169-3169
(format EnglishLanguage defaultMaximumHeight "the maximum expected height of %1 is %2")	domainEnglishFormat.kif 3168-3168
(termFormat EnglishLanguage defaultMaximumHeight "default maximum height")	Mid-level-ontology.kif 14702-14702

antecedent

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

Mid-level-ontology.kif 14704-14713

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