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 11007-11007
(domain defaultMaximumHeight 2 LengthMeasure)	Mid-level-ontology.kif 11006-11006	The number 2 argument of default maximum height is an instance of length measure
(domainSubclass defaultMaximumHeight 1 Object)	Mid-level-ontology.kif 11005-11005	The number 1 argument of default maximum height is a subclass of object
(instance defaultMaximumHeight BinaryPredicate)	Mid-level-ontology.kif 11004-11004	default maximum height is an instance of binary predicate

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 11009-11016

If the maximum expected height of a kind of object is a length measure,
then the statement there exists an entity such that the entity is an instance of a kind of object and the height of the entity is the length measureEIGHT and the length measureEIGHT is greater than the length measure has the modal force of unlikely

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

KB Term:			Term intersection

English Word: