defaultMaximumHeight - Sigma Knowledge base Browser

appearance as argument number 1

(documentation defaultMaximumHeight EnglishLanguage "A BinaryPredicate that states the assumed maximum height of an Object")	Mid-level-ontology.kif 14691-14691
(domain defaultMaximumHeight 2 LengthMeasure)	Mid-level-ontology.kif 14690-14690	The number 2 argument of defaultMaximumHeight is an instance of length measure
(domainSubclass defaultMaximumHeight 1 Object)	Mid-level-ontology.kif 14689-14689	The number 1 argument of defaultMaximumHeight is a subclass of object
(instance defaultMaximumHeight BinaryPredicate)	Mid-level-ontology.kif 14688-14688	defaultMaximumHeight 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 14692-14692

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 14694-14703

If defaultMaximumHeight a kind of object and 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: