Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - successorClass
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 successorClass の数値 1 引数は クラスinstance では
(domain successorClass 2 Class) Merge.kif 9127-9127 successorClass の数値 2 引数は クラスinstance では
(instance successorClass BinaryPredicate) Merge.kif 9124-9124 successorClass2進述語instance では
(instance successorClass TransitiveRelation) Merge.kif 9125-9125 successorClass推移関係instance では
(relatedInternalConcept successorClass successorAttribute) Merge.kif 9135-9135 successorClasssuccessorAttributeinternally 関連して

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 4月 and 5月
(successorClass August September) Merge.kif 9144-9144 successorClass 8月 and 9月
(successorClass February March) Merge.kif 9138-9138 successorClass 2月 and 3月
(successorClass Friday Saturday) Merge.kif 9154-9154 successorClass 金曜日 and 土曜日
(successorClass January February) Merge.kif 9137-9137 successorClass 1月 and 2月
(successorClass July August) Merge.kif 9143-9143 successorClass 7月 and 8月
(successorClass June July) Merge.kif 9142-9142 successorClass 6月 and 7月
(successorClass March April) Merge.kif 9139-9139 successorClass 3月 and 4月
(successorClass May June) Merge.kif 9141-9141 successorClass 5月 and 6月
(successorClass Monday Tuesday) Merge.kif 9150-9150 successorClass 月曜日 and 火曜日
(successorClass November December) Merge.kif 9147-9147 successorClass 11月 and 12月
(successorClass October November) Merge.kif 9146-9146 successorClass 10月 and 11月
(successorClass September October) Merge.kif 9145-9145 successorClass 9月 and 10月
(successorClass Sunday Monday) Merge.kif 9149-9149 successorClass 日曜日 and 月曜日
(successorClass Thursday Friday) Merge.kif 9153-9153 successorClass 木曜日 and 金曜日
(successorClass Tuesday Wednesday) Merge.kif 9151-9151 successorClass 火曜日 and 水曜日
(successorClass Wednesday Thursday) Merge.kif 9152-9152 successorClass 水曜日 and 木曜日


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners