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 18515-18517
(domain defaultMaxValue 1 Predicate)	Merge.kif 18519-18519	Die Zahl 1 Argument von defaultMaxValue ist ein fall von Predicate %n{nicht}
(domain defaultMaxValue 2 Integer)	Merge.kif 18520-18520	Die Zahl 2 Argument von defaultMaxValue ist ein fall von Integer %n{nicht}
(domain defaultMaxValue 3 Quantity)	Merge.kif 18521-18521	Die Zahl 3 Argument von defaultMaxValue ist ein fall von Quantity %n{nicht}
(instance defaultMaxValue TernaryPredicate)	Merge.kif 18518-18518	defaultMaxValue ist ein fall von TernaryPredicate %n{nicht}

appearance as argument number 2

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

antecedent

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

Merge.kif 18525-18530

Wenn defaultMaxValue Predicate, PositiveInteger and Quantity und ** Predicate @ARGS und ** Entity ist gleich ** PositiveIntegerte mitglied von (@ARGS) %n{nicht},
dann die Aussage ** Quantity ist groesserAls ** ** Entity %n{nicht} hat die modale Kraft von Likely

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

KB Term:			Term intersection

English Word: