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 18436-18438
(domain defaultMaxValue 1 Predicate)	Merge.kif 18440-18440	defaultMaxValue 的 1 数量是谓语的 instance
(domain defaultMaxValue 2 Integer)	Merge.kif 18441-18441	defaultMaxValue 的 2 数量是整数的 instance
(domain defaultMaxValue 3 Quantity)	Merge.kif 18442-18442	defaultMaxValue 的 3 数量是数量的 instance
(instance defaultMaxValue TernaryPredicate)	Merge.kif 18439-18439	defaultMaxValue 是三元谓语的 instance

appearance as argument number 2

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

antecedent

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

Merge.kif 18446-18451

如果 defaultMaxValue 谓语, 正整数 and 数量和那个谓语 @ARGS 和另一个实体 equal (@ARGS) 的第那个正整数几个元素，
然后那个数量是 greaterThan 那个另外实体的声明 has 容易的语气

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

KB Term:			Term intersection

English Word: