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 743-744
(domain lastRenovation 1 Object)	Hotel.kif 747-747	lastRenovation 的 1 数量是客体的 instance
(domainSubclass lastRenovation 2 Year)	Hotel.kif 748-748	lastRenovation 的 2 数量是年的 subclass
(instance lastRenovation BinaryPredicate)	Hotel.kif 742-742	lastRenovation 是二元谓语的 instance

appearance as argument number 2

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

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 750-760

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

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

KB Term:			Term intersection

English Word: