TreeView Knowledge Base Browser

appearance as argument number 1

(documentation defaultMinValue EnglishLanguage "The minimum likely value for a given numerical argument of a Relation. The second argument is the argument number of the relation and the third argument is the minimum value.")	Merge.kif 17043-17045
(domain defaultMinValue 1 Predicate)	Merge.kif 17047-17047	The number 1 argument of defaultMinValue is an instance of predicate
(domain defaultMinValue 2 Integer)	Merge.kif 17048-17048	The number 2 argument of defaultMinValue is an instance of integer
(domain defaultMinValue 3 Quantity)	Merge.kif 17049-17049	The number 3 argument of defaultMinValue is an instance of quantity
(instance defaultMinValue TernaryPredicate)	Merge.kif 17046-17046	defaultMinValue is an instance of ternary predicate

antecedent

(=>
    (and
        (defaultMinValue ?REL ?ARG ?N)
        (?REL @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (modalAttribute
        (greaterThan ?VAL ?N) Likely))

Merge.kif 17051-17056

If defaultMinValue a predicate, a positive integer and a quantity and the predicate @ARGS and another entity is equal to the positive integerth element of (@ARGS),
then the statement the other entity is greater than the quantity has the modal force of likely

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

KB Term:			Term intersection

English Word: