Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| lastRenovation |
| appearance as argument number 1 |
|
| (instance lastRenovation BinaryPredicate) | Hotel.kif 742-742 | last renovation is an instance of binary predicate |
| (documentation lastRenovation EnglishLanguage "(lastRenovation ?OBJ ?YEAR) means that Object ?OBJ was last repaired on Year ?YEAR") | Hotel.kif 743-744 | last renovation is an instance of binary predicate |
| (domain lastRenovation 1 Object) | Hotel.kif 747-747 | The number 1 argument of last renovation is an instance of object |
| (domainSubclass lastRenovation 2 Year) | Hotel.kif 748-748 | The number 2 argument of last renovation is a subclass of year |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage lastRenovation "last renovation") | Hotel.kif 745-745 | |
| (format EnglishLanguage lastRenovation "the last renovation of %1 was in %2") | domainEnglishFormat.kif 3726-3726 | |
| (format ChineseTraditionalLanguage lastRenovation "%1 的 last renovation 是 %2 ") | domainEnglishFormat.kif 3727-3727 | |
| (format ChineseLanguage lastRenovation "%1 的 last renovation 是 %2 ") | domainEnglishFormat.kif 3728-3728 |
| 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 | If the last renovation of X was in Y, then there exist Z, W such that W is an instance of repairing, X is a patient of W, Z is an instance of Y, the end of the time of existence of W is between or at the beginning of Z, and the end of Z |
|