TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage propositionOwner "proposition owner")	Catalog.kif 167-167
(format EnglishLanguage propositionOwner "%1 authored %2")	domainEnglishFormat.kif 4268-4268
(format ChineseTraditionalLanguage propositionOwner "%1 authored %2 ")	domainEnglishFormat.kif 4269-4269
(format ChineseLanguage propositionOwner "%1 authored %2 ")	domainEnglishFormat.kif 4270-4270

antecedent

(=>
    (and
        (propositionOwner ?AGENT ?HP)
        (instance ?HP HotelPackage)
        (accommodationProvider ?HP ?HOTEL)
        (roomStay ?HP ?NUM ?ROOM)
        (instance ?R ?ROOM)
        (element ?R
            (PropertyFn ?HOTEL))
        (buys ?CUST ?AGENT ?HP))
    (exists (?TI)
        (and
            (equal ?TI
                (MeasureFn ?NUM DayDuration))
            (holdsDuring ?TI
                (guest ?CUST ?HOTEL)))))

Hotel.kif 2762-2775

If All of the following hold: (1) X authored Y (2) Y is an instance of hotel package (3) Z provides Y (4) Y specifies W days stay at V (5) U is an instance of V (6) U is an element of belongings of Z (7) T buys Y from X, then there exists S such that equal S and W day duration(s) and T is a guest at Z holds during S

consequent

(=>
    (and
        (instance ?CREATE Creation)
        (result ?CREATE ?PROP)
        (instance ?PROP Proposition)
        (agent ?CREATE ?AGENT))
    (propositionOwner ?AGENT ?PROP))

Catalog.kif 172-178

If X is an instance of creation, Y is a result of X, Y is an instance of proposition, and Z is an agent of X, then Z authored Y

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

KB Term:			Term intersection

English Word: