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 9018-9020
(documentation successorClass JapaneseLanguage "次のクラスは、曜日などのクラスのシーケンスであ る。最初の引数は、2番目の引数の 「前」 である。") japanese_format.kif 1533-1534
(domain successorClass 1 Class) Merge.kif 9013-9013
(domain successorClass 2 Class) Merge.kif 9014-9014
(instance successorClass BinaryPredicate) Merge.kif 9011-9011
(instance successorClass TransitiveRelation) Merge.kif 9012-9012
(relatedInternalConcept successorClass successorAttribute) Merge.kif 9022-9022

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
-------------------------


(successorClass April May) Merge.kif 9027-9027
(successorClass August September) Merge.kif 9031-9031
(successorClass February March) Merge.kif 9025-9025
(successorClass Friday Saturday) Merge.kif 9041-9041
(successorClass January February) Merge.kif 9024-9024
(successorClass July August) Merge.kif 9030-9030
(successorClass June July) Merge.kif 9029-9029
(successorClass March April) Merge.kif 9026-9026
(successorClass May June) Merge.kif 9028-9028
(successorClass Monday Tuesday) Merge.kif 9037-9037
(successorClass November December) Merge.kif 9034-9034
(successorClass October November) Merge.kif 9033-9033
(successorClass September October) Merge.kif 9032-9032
(successorClass Sunday Monday) Merge.kif 9036-9036
(successorClass Thursday Friday) Merge.kif 9040-9040
(successorClass Tuesday Wednesday) Merge.kif 9038-9038
(successorClass Wednesday Thursday) Merge.kif 9039-9039


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