TreeView Knowledge Base Browser

appearance as argument number 1

(documentation defaultValue EnglishLanguage "The 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 likely value.")	Merge.kif 18475-18477
(domain defaultValue 1 Predicate)	Merge.kif 18479-18479	域 defaultValue, 1 and Predicate
(domain defaultValue 2 Integer)	Merge.kif 18480-18480	域 defaultValue, 2 and Integer
(domain defaultValue 3 Quantity)	Merge.kif 18481-18481	域 defaultValue, 3 and Quantity
(instance defaultValue TernaryPredicate)	Merge.kif 18478-18478	例 defaultValue and TernaryPredicate

appearance as argument number 2

(format EnglishLanguage defaultValue "The defaultValue of %1 with %2 arguments is %3.")	Merge.kif 18482-18483
(termFormat EnglishLanguage defaultValue "default value")	domainEnglishFormat.kif 65806-65806

antecedent

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

Merge.kif 18485-18490

defaultValue Predicate, PositiveInteger and Quantity Predicate @ARGS 等於 Entity and 清單順序名單 @ARGS and PositiveInteger
模態屬性等於 Quantity and Entity and 容易

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

KB Term:			Term intersection

English Word: