defaultMinimumHeight - Sigma Knowledge base Browser

appearance as argument number 1

(documentation defaultMinimumHeight EnglishLanguage "A BinaryPredicate that states the assumed minimum height of an Object")	Mid-level-ontology.kif 14675-14675
(domain defaultMinimumHeight 2 LengthMeasure)	Mid-level-ontology.kif 14674-14674	The number 2 argument of defaultMinimumHeight is an instance of length measure
(domainSubclass defaultMinimumHeight 1 Object)	Mid-level-ontology.kif 14673-14673	The number 1 argument of defaultMinimumHeight is a subclass of object
(instance defaultMinimumHeight BinaryPredicate)	Mid-level-ontology.kif 14672-14672	defaultMinimumHeight is an instance of binary predicate

appearance as argument number 2

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

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 14678-14686

If defaultMinimumHeight 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 less 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: