successorClass |
appearance as argument number 1 |
![]() |
(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 9131-9133 | |
(documentation successorClass JapaneseLanguage "次のクラスは、曜日などのクラスのシーケンスであ る。最初の引数は、2番目の引数の 「前」 である。") | japanese_format.kif 1533-1534 | |
(domain successorClass 1 Class) | Merge.kif 9126-9126 | |
(domain successorClass 2 Class) | Merge.kif 9127-9127 | |
(instance successorClass BinaryPredicate) | Merge.kif 9124-9124 | |
(instance successorClass TransitiveRelation) | Merge.kif 9125-9125 | |
(relatedInternalConcept successorClass successorAttribute) | Merge.kif 9135-9135 |
appearance as argument number 2 |
![]() |
(format EnglishLanguage successorClass "%2 is %n the successor class of %1.") | Merge.kif 9128-9128 | |
(termFormat EnglishLanguage successorClass "successor class") | Merge.kif 9129-9129 |
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 8819-8826 | |
(=> (and (instance ?M1 (MonthFn ?N1 (YearFn ?Y))) (instance ?M2 (MonthFn ?N2 (YearFn ?Y))) (successorClass ?N1 ?N2)) (earlier ?M1 ?M2)) |
Merge.kif 8828-8833 |
appearance as argument number 0 |
![]() |
(successorClass April May) | Merge.kif 9140-9140 | |
(successorClass August September) | Merge.kif 9144-9144 | |
(successorClass February March) | Merge.kif 9138-9138 | |
(successorClass Friday Saturday) | Merge.kif 9154-9154 | |
(successorClass January February) | Merge.kif 9137-9137 | |
(successorClass July August) | Merge.kif 9143-9143 | |
(successorClass June July) | Merge.kif 9142-9142 | |
(successorClass March April) | Merge.kif 9139-9139 | |
(successorClass May June) | Merge.kif 9141-9141 | |
(successorClass Monday Tuesday) | Merge.kif 9150-9150 | |
(successorClass November December) | Merge.kif 9147-9147 | |
(successorClass October November) | Merge.kif 9146-9146 | |
(successorClass September October) | Merge.kif 9145-9145 | |
(successorClass Sunday Monday) | Merge.kif 9149-9149 | |
(successorClass Thursday Friday) | Merge.kif 9153-9153 | |
(successorClass Tuesday Wednesday) | Merge.kif 9151-9151 | |
(successorClass Wednesday Thursday) | Merge.kif 9152-9152 |
![]() |
![]() |