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 18317-18319
(domain defaultMaxValue 1 Predicate)	Merge.kif 18321-18321	Le nombre 1 argument de defaultMaxValue est une instance de predicat
(domain defaultMaxValue 2 Integer)	Merge.kif 18322-18322	Le nombre 2 argument de defaultMaxValue est une instance de nombre entier
(domain defaultMaxValue 3 Quantity)	Merge.kif 18323-18323	Le nombre 3 argument de defaultMaxValue est une instance de quantit�
(instance defaultMaxValue TernaryPredicate)	Merge.kif 18320-18320	defaultMaxValue est une instance de pr�dicat ternaire

appearance as argument number 2

(format EnglishLanguage defaultMaxValue "The defalutMaxValue of %1 with %2 arguments is %3.")	Merge.kif 18324-18325
(termFormat EnglishLanguage defaultMaxValue "default max value")	domainEnglishFormat.kif 65812-65812

antecedent

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

Merge.kif 18327-18332

defaultMaxValue predicat, nombre entier positif and quantit� predicat @ARGS entit� est nombre entier positifth quantit� est plus grand que entit� a la force modale de Likely

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

KB Term:			Term intersection

English Word: