TreeView Knowledge Base Browser

appearance as argument number 1

(documentation defaultMaxValue EnglishLanguage "The maximum 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 17058-17060
(domain defaultMaxValue 1 Predicate)	Merge.kif 17062-17062	The number 1 argument of defaultMaxValue is an instance of predicate
(domain defaultMaxValue 2 Integer)	Merge.kif 17063-17063	The number 2 argument of defaultMaxValue is an instance of integer
(domain defaultMaxValue 3 Quantity)	Merge.kif 17064-17064	The number 3 argument of defaultMaxValue is an instance of quantity
(instance defaultMaxValue TernaryPredicate)	Merge.kif 17061-17061	defaultMaxValue is an instance of ternary predicate

antecedent

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

Merge.kif 17066-17071

If defaultMaxValue 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 quantity is greater than the other entity has the modal force of likely

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

KB Term:			Term intersection

English Word: