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 18498-18500
(domain defaultMinValue 1 Predicate)	Merge.kif 18502-18502	O argumento numero 1 de defaultMinValue e' uma instancia de Predicado
(domain defaultMinValue 2 Integer)	Merge.kif 18503-18503	O argumento numero 2 de defaultMinValue e' uma instancia de Numero Inteiro
(domain defaultMinValue 3 Quantity)	Merge.kif 18504-18504	O argumento numero 3 de defaultMinValue e' uma instancia de Quantidade
(instance defaultMinValue TernaryPredicate)	Merge.kif 18501-18501	defaultMinValue e' uma instancia de Predicado Ternario

appearance as argument number 2

(format EnglishLanguage defaultMinValue "The defaultMinValue of %1 with %2 arguments is %3.")	Merge.kif 18505-18506
(termFormat EnglishLanguage defaultMinValue "default min value")	domainEnglishFormat.kif 65807-65807

antecedent

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

Merge.kif 18508-18513

defaultMinValue Predicado, Inteiro positivo and Quantidade Predicado @ARGS Entidade e' igual a Inteiro positivoth elemento de (@ARGS)
o argumento Entidade e' maior que Quantidade tem a forca modal de Likely

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

KB Term:			Term intersection

English Word: