TreeView Knowledge Base Browser - defaultMinimumLength

appearance as argument number 1

(documentation defaultMinimumLength EnglishLanguage "A BinaryPredicate that states the assumed minimum length of an Object")	Mid-level-ontology.kif 14751-14751
(domain defaultMinimumLength 2 LengthMeasure)	Mid-level-ontology.kif 14750-14750	The number 2 argument of default minimum length is an instance of length measure
(domainSubclass defaultMinimumLength 1 Object)	Mid-level-ontology.kif 14749-14749	The number 1 argument of default minimum length is a subclass of object
(instance defaultMinimumLength BinaryPredicate)	Mid-level-ontology.kif 14748-14748	default minimum length is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage defaultMinimumLength "%1 的 minimum 预期长度是 %2 ")	domainEnglishFormat.kif 3198-3198
(format ChineseTraditionalLanguage defaultMinimumLength "%1 的 minimum 預期長度是 %2 ")	domainEnglishFormat.kif 3197-3197
(format EnglishLanguage defaultMinimumLength "the minimum expected length of %1 is %2")	domainEnglishFormat.kif 3196-3196
(termFormat EnglishLanguage defaultMinimumLength "default minimum length")	Mid-level-ontology.kif 14752-14752

antecedent

(=>
    (defaultMinimumLength ?OBJECT
        (MeasureFn ?L ?U))
    (modalAttribute
        (exists (?INST ?LENGTH)
            (and
                (instance ?INST ?OBJECT)
                (length ?INST
                    (MeasureFn ?LENGTH ?U))
                (lessThan ?LENGTH ?L))) Unlikely))

Mid-level-ontology.kif 14754-14762

If the minimum expected length of a kind of object is a real number an unit of measure(s),
then the statement there exist an entity and the real numberENGTH such that the entity is an instance of a kind of object and the length of the entity is the real numberENGTH the unit of measure(s) and the real numberENGTH is less than the real number has the modal force of unlikely

appearance as argument number 0

(defaultMinimumLength Hamster
(MeasureFn 5.0 Centimeter))

Mid-level-ontology.kif 32547-32547

The minimum expected length of hamster is 5.0 centimeter(s)

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

KB Term:			Term intersection

English Word: