TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage yearBuilt "year built")	Hotel.kif 724-724
(format EnglishLanguage yearBuilt "%1 was built in %2")	domainEnglishFormat.kif 5004-5004
(format ChineseTraditionalLanguage yearBuilt "%1 已 built 在 %2 ")	domainEnglishFormat.kif 5005-5005
(format ChineseLanguage yearBuilt "%1 已 built 在 %2 ")	domainEnglishFormat.kif 5006-5006

antecedent

(=>
    (yearBuilt ?OBJ ?YEAR)
    (exists (?TIME ?MAKE)
        (and
            (instance ?TIME ?YEAR)
            (instance ?MAKE Making)
            (result ?MAKE ?OBJ)
            (temporallyBetweenOrEqual
                (BeginFn ?TIME)
                (EndFn
                    (WhenFn ?MAKE))
                (EndFn ?TIME)))))

Hotel.kif 729-739

If X was built in Y, then there exist Z, W such that Z is an instance of Y, W is an instance of making, X is a result of W, the end of the time of existence of W is between or at the beginning of Z, and the end of Z

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

KB Term:			Term intersection

English Word: