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 11052-11052
(domain defaultMinimumLength 2 LengthMeasure)	Mid-level-ontology.kif 11051-11051	The number 2 argument of default minimum length is an instance of length measure
(domainSubclass defaultMinimumLength 1 Object)	Mid-level-ontology.kif 11050-11050	The number 1 argument of default minimum length is a subclass of object
(instance defaultMinimumLength BinaryPredicate)	Mid-level-ontology.kif 11049-11049	default minimum length is an instance of binary predicate

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 11054-11061

If the minimum expected length 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 length of the entity is the length measureENGTH and the length measureENGTH is less than the length measure has the modal force of unlikely

appearance as argument number 0

(defaultMinimumLength Hamster
(MeasureFn 5 Centimeter))

Mid-level-ontology.kif 28790-28790

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

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

KB Term:			Term intersection

English Word: