Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| successorClass |
| appearance as argument number 1 |
|
| (instance successorClass BinaryPredicate) | Merge.kif 9213-9213 | successor class is an instance of binary predicate |
| (instance successorClass TransitiveRelation) | Merge.kif 9214-9214 | successor class is an instance of transitive relation |
| (domain successorClass 1 Class) | Merge.kif 9215-9215 | The number 1 argument of successor class is an instance of class |
| (domain successorClass 2 Class) | Merge.kif 9216-9216 | The number 2 argument of successor class is an instance of class |
| (documentation successorClass EnglishLanguage "The next class is a sequence of classes, such as days of the week. The first argument is 'prior' to the second argument.") | Merge.kif 9220-9222 | The number 2 argument of successor class is an instance of class |
| (relatedInternalConcept successorClass successorAttribute) | Merge.kif 9224-9224 | successor class is internally related to successor attribute |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage successorClass "%2 is %n the successor class of %1.") | Merge.kif 9217-9217 | |
| (termFormat EnglishLanguage successorClass "successor class") | Merge.kif 9218-9218 |
| antecedent |
|
|
| (=> (and (instance ?M1 (MonthFn ?N1 (YearFn ?Y))) (instance ?M2 (MonthFn ?N2 (YearFn ?Y))) (equal ?T1 (BeginFn ?M1)) (equal ?T2 (BeginFn ?M2)) (successorClass ?N1 ?N2)) (before ?T1 ?T2)) |
Merge.kif 8908-8915 | If X is an instance of the month Y, Z is an instance of the month W, equal V and the beginning of X, equal U and the beginning of Z, and W is the successor class of Y., then V happens before U |
| (=> (and (instance ?M1 (MonthFn ?N1 (YearFn ?Y))) (instance ?M2 (MonthFn ?N2 (YearFn ?Y))) (successorClass ?N1 ?N2)) (earlier ?M1 ?M2)) |
Merge.kif 8917-8922 | If X is an instance of the month Y, Z is an instance of the month W, and W is the successor class of Y., then X happens earlier than Z |
| consequent |
|
|
| (=> (and (previousMonthYear ?M1 ?Y1 ?M2 ?Y2) (not (equal ?M2 January))) (and (successorClass ?M1 ?M2) (equal ?Y1 ?Y2))) |
Weather.kif 753-760 | If the previous month of X in year Y is Z W and equal X and January, then X is the successor class of Z. and equal W and Y |
| appearance as argument number 0 |
|
|
|