TreeView Knowledge Base Browser

appearance as argument number 1

(instance premise BinaryPredicate)	Merge.kif 17223-17223	premise is an instance of binary predicate
(instance premise TotalValuedRelation)	Merge.kif 17224-17224	premise is an instance of total valued relation
(domain premise 1 Argument)	Merge.kif 17225-17225	The number 1 argument of premise is an instance of argument
(domain premise 2 Proposition)	Merge.kif 17226-17226	The number 2 argument of premise is an instance of proposition
(documentation premise EnglishLanguage "(premise ?ARGUMENT ?PROPOSITION) means that the Proposition ?PROPOSITION is an explicit assumption of the Argument ?ARGUMENT.")	Merge.kif 17227-17229	The number 2 argument of premise is an instance of proposition

appearance as argument number 2

(format EnglishLanguage premise "%2 is %n a premise of %1")	domainEnglishFormat.kif 2033-2033
(format ChineseTraditionalLanguage premise "%2 %n 是 %1 的 premise ")	domainEnglishFormat.kif 2034-2034
(format ChineseLanguage premise "%2 %n 是 %1 的 premise ")	domainEnglishFormat.kif 2035-2035
(termFormat EnglishLanguage premise "premise")	domainEnglishFormat.kif 47185-47185
(termFormat ChineseTraditionalLanguage premise "前提")	domainEnglishFormat.kif 47186-47186
(termFormat ChineseLanguage premise "前提")	domainEnglishFormat.kif 47187-47187

consequent

(=>
    (evidence ?LA ?P)
    (exists (?A ?PROP)
        (and
            (instance ?PROP Proposition)
            (instance ?A Argument)
            (refers ?A ?LA)
            (represents ?PROP ?P)
            (premise ?A ?PROP))))

Law.kif 180-188

If X is evidence in Y, then there exist Z, W such that W is an instance of proposition, Z is an instance of argument, Z includes a reference to Y, W expresses X, and W is a premise of Z

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

KB Term:			Term intersection

English Word: