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 8916-8918
(domain successorClass 1 Class) Merge.kif 8912-8912 domain successorClass, 1 and Class
(domain successorClass 2 Class) Merge.kif 8913-8913 domain successorClass, 2 and Class
(instance successorClass BinaryPredicate) Merge.kif 8910-8910 instance successorClass and BinaryPredicate
(instance successorClass TransitiveRelation) Merge.kif 8911-8911 instance successorClass and TransitiveRelation
(relatedInternalConcept successorClass successorAttribute) Merge.kif 8920-8920 relatedInternalConcept successorClass and successorAttribute

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


(format EnglishLanguage successorClass "%2 is %n the successorClass of %2.") Merge.kif 8914-8914

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 8608-8615
(=>
    (and
        (instance ?M1
            (MonthFn ?N1
                (YearFn ?Y)))
        (instance ?M2
            (MonthFn ?N2
                (YearFn ?Y)))
        (successorClass ?N1 ?N2))
    (earlier ?M1 ?M2))
Merge.kif 8617-8622

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


(successorClass April May) Merge.kif 8925-8925 successorClass April and May
(successorClass August September) Merge.kif 8929-8929 successorClass August and September
(successorClass February March) Merge.kif 8923-8923 successorClass February and March
(successorClass Friday Saturday) Merge.kif 8939-8939 successorClass Friday and Saturday
(successorClass January February) Merge.kif 8922-8922 successorClass January and February
(successorClass July August) Merge.kif 8928-8928 successorClass July and August
(successorClass June July) Merge.kif 8927-8927 successorClass June and July
(successorClass March April) Merge.kif 8924-8924 successorClass March and April
(successorClass May June) Merge.kif 8926-8926 successorClass May and June
(successorClass Monday Tuesday) Merge.kif 8935-8935 successorClass Monday and Tuesday
(successorClass November December) Merge.kif 8932-8932 successorClass November and December
(successorClass October November) Merge.kif 8931-8931 successorClass October and November
(successorClass September October) Merge.kif 8930-8930 successorClass September and October
(successorClass Sunday Monday) Merge.kif 8934-8934 successorClass Sunday and Monday
(successorClass Thursday Friday) Merge.kif 8938-8938 successorClass Thursday and Friday
(successorClass Tuesday Wednesday) Merge.kif 8936-8936 successorClass Tuesday and Wednesday
(successorClass Wednesday Thursday) Merge.kif 8937-8937 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