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 708-709
(domain lastRenovation 1 Object)	Hotel.kif 712-712	lastRenovation 的 1 数量是客体的 instance
(domainSubclass lastRenovation 2 Year)	Hotel.kif 713-713	lastRenovation 的 2 数量是年的 subclass
(instance lastRenovation BinaryPredicate)	Hotel.kif 707-707	lastRenovation 是二元谓语的 instance

appearance as argument number 2

(format EnglishLanguage lastRenovation "the last renovation of %1 was in %2")	domainEnglishFormat.kif 942-942
(termFormat EnglishLanguage lastRenovation "last renovation")	Hotel.kif 710-710	termFormat EnglishLanguage, lastRenovation and "last renovation"

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

如果 lastRenovation 客体 and 有点年，
然后有存在时距和过程这样那个过程是修理的 instance 和那个客体是那个过程的 patient 和那个时距是有点年的 instance 和那个过程出现的 time 的结束是在或等于那个时距的开始和那个时距的结束 between

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

KB Term:			Term intersection

English Word: