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 13439-13439
(domain defaultMinimumLength 2 LengthMeasure)	Mid-level-ontology.kif 13438-13438
(domainSubclass defaultMinimumLength 1 Object)	Mid-level-ontology.kif 13437-13437
(instance defaultMinimumLength BinaryPredicate)	Mid-level-ontology.kif 13436-13436

appearance as argument number 2

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

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 13442-13450

appearance as argument number 0

(defaultMinimumLength Hamster
(MeasureFn 5.0 Centimeter))

Mid-level-ontology.kif 30637-30637

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

KB Term:			Term intersection

English Word: