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 9018-9020 | |
(documentation successorClass JapaneseLanguage "次のクラスは、曜日などのクラスのシーケンスであ る。最初の引数は、2番目の引数の 「前」 である。") | japanese_format.kif 1533-1534 | |
(domain successorClass 1 Class) | Merge.kif 9013-9013 | successorClass の数値 1 引数は クラス の instance では %n |
(domain successorClass 2 Class) | Merge.kif 9014-9014 | successorClass の数値 2 引数は クラス の instance では %n |
(instance successorClass BinaryPredicate) | Merge.kif 9011-9011 | successorClass は 2進述語 の instance では %n |
(instance successorClass TransitiveRelation) | Merge.kif 9012-9012 | successorClass は 推移関係 の instance では %n |
(relatedInternalConcept successorClass successorAttribute) | Merge.kif 9022-9022 | successorClass は successorAttribute に internally 関連して %n |
appearance as argument number 2 |
(format EnglishLanguage successorClass "%2 is %n the successor class of %1.") | Merge.kif 9015-9015 | |
(termFormat EnglishLanguage successorClass "successor class") | Merge.kif 9016-9016 |
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 8706-8713 | |
(=> (and (instance ?M1 (MonthFn ?N1 (YearFn ?Y))) (instance ?M2 (MonthFn ?N2 (YearFn ?Y))) (successorClass ?N1 ?N2)) (earlier ?M1 ?M2)) |
Merge.kif 8715-8720 |
appearance as argument number 0 |