TreeView Knowledge Base Browser

appearance as argument number 1

(documentation yearBuilt EnglishLanguage "(yearBuilt ?OBJ ?YEAR) means that the Making of Object ?OBJ was completed on Year ?YEAR")	Hotel.kif 718-719
(domain yearBuilt 1 Object)	Hotel.kif 722-722
(domainSubclass yearBuilt 2 Year)	Hotel.kif 723-723
(instance yearBuilt BinaryPredicate)	Hotel.kif 717-717

appearance as argument number 2

(format ChineseLanguage yearBuilt "%1 已 built 在 %2 ")	domainEnglishFormat.kif 5002-5002
(format ChineseTraditionalLanguage yearBuilt "%1 已 built 在 %2 ")	domainEnglishFormat.kif 5001-5001
(format EnglishLanguage yearBuilt "%1 was built in %2")	domainEnglishFormat.kif 5000-5000
(termFormat EnglishLanguage yearBuilt "year built")	Hotel.kif 720-720

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 725-735

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

KB Term:			Term intersection

English Word: