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

Formal Language: 



KB Term:  Term intersection
English Word: 

  successorClass

 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 9040-9042
(documentation successorClass JapaneseLanguage "次のクラスは、曜日などのクラスのシーケンスであ る。最初の引数は、２番目の引数の 「前」 である。") japanese_format.kif 1533-1534
(domain successorClass 1 Class) Merge.kif 9035-9035 Die Zahl 1 Argument von successorClass ist ein fall von Class %n{nicht}
(domain successorClass 2 Class) Merge.kif 9036-9036 Die Zahl 2 Argument von successorClass ist ein fall von Class %n{nicht}
(instance successorClass BinaryPredicate) Merge.kif 9033-9033 successorClass ist ein fall von BinaryPredicate %n{nicht}
(instance successorClass TransitiveRelation) Merge.kif 9034-9034 successorClass ist ein fall von TransitiveRelation %n{nicht}
(relatedInternalConcept successorClass successorAttribute) Merge.kif 9044-9044 successorClass ist innerlich verwandt mit successorAttribute %n{nicht}

appearance as argument number 2
-------------------------


(format EnglishLanguage successorClass "%2 is %n the successor class of %1.") Merge.kif 9037-9037
(termFormat EnglishLanguage successorClass "successor class") Merge.kif 9038-9038

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 8728-8735
(=>
    (and
        (instance ?M1
            (MonthFn ?N1
                (YearFn ?Y)))
        (instance ?M2
            (MonthFn ?N2
                (YearFn ?Y)))
        (successorClass ?N1 ?N2))
    (earlier ?M1 ?M2))		 Merge.kif 8737-8742

appearance as argument number 0
-------------------------


(successorClass April May) Merge.kif 9049-9049 successorClass April and May
(successorClass August September) Merge.kif 9053-9053 successorClass August and September
(successorClass February March) Merge.kif 9047-9047 successorClass February and March
(successorClass Friday Saturday) Merge.kif 9063-9063 successorClass Friday and Saturday
(successorClass January February) Merge.kif 9046-9046 successorClass January and February
(successorClass July August) Merge.kif 9052-9052 successorClass July and August
(successorClass June July) Merge.kif 9051-9051 successorClass June and July
(successorClass March April) Merge.kif 9048-9048 successorClass March and April
(successorClass May June) Merge.kif 9050-9050 successorClass May and June
(successorClass Monday Tuesday) Merge.kif 9059-9059 successorClass Monday and Tuesday
(successorClass November December) Merge.kif 9056-9056 successorClass November and December
(successorClass October November) Merge.kif 9055-9055 successorClass October and November
(successorClass September October) Merge.kif 9054-9054 successorClass September and October
(successorClass Sunday Monday) Merge.kif 9058-9058 successorClass Sunday and Monday
(successorClass Thursday Friday) Merge.kif 9062-9062 successorClass Thursday and Friday
(successorClass Tuesday Wednesday) Merge.kif 9060-9060 successorClass Tuesday and Wednesday
(successorClass Wednesday Thursday) Merge.kif 9061-9061 successorClass Wednesday and Thursday


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

Show without tree


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