TreeView Knowledge Base Browser

appearance as argument number 1

(documentation lastRenovation EnglishLanguage "(lastRenovation ?OBJ ?YEAR) means that Object ?OBJ was last repaired on Year ?YEAR")	Hotel.kif 739-740
(domain lastRenovation 1 Object)	Hotel.kif 743-743
(domainSubclass lastRenovation 2 Year)	Hotel.kif 744-744
(instance lastRenovation BinaryPredicate)	Hotel.kif 738-738

appearance as argument number 2

(format ChineseLanguage lastRenovation "%1 的 last renovation 是 %2 ")	domainEnglishFormat.kif 3730-3730
(format ChineseTraditionalLanguage lastRenovation "%1 的 last renovation 是 %2 ")	domainEnglishFormat.kif 3729-3729
(format EnglishLanguage lastRenovation "the last renovation of %1 was in %2")	domainEnglishFormat.kif 3728-3728
(termFormat EnglishLanguage lastRenovation "last renovation")	Hotel.kif 741-741

antecedent

(=>
    (lastRenovation ?OBJ ?YEAR)
    (exists (?TIME ?REPAIR)
        (and
            (instance ?REPAIR Repairing)
            (patient ?REPAIR ?OBJ)
            (instance ?TIME ?YEAR)
            (temporallyBetweenOrEqual
                (BeginFn ?TIME)
                (EndFn
                    (WhenFn ?REPAIR))
                (EndFn ?TIME)))))

Hotel.kif 746-756

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

KB Term:			Term intersection

English Word: