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 8927-8929
(domain successorClass 1 Class) Merge.kif 8923-8923
(domain successorClass 2 Class) Merge.kif 8924-8924
(instance successorClass BinaryPredicate) Merge.kif 8921-8921
(instance successorClass TransitiveRelation) Merge.kif 8922-8922
(relatedInternalConcept successorClass successorAttribute) Merge.kif 8931-8931

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


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

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 8616-8623
(=>
    (and
        (instance ?M1
            (MonthFn ?N1
                (YearFn ?Y)))
        (instance ?M2
            (MonthFn ?N2
                (YearFn ?Y)))
        (successorClass ?N1 ?N2))
    (earlier ?M1 ?M2))
Merge.kif 8625-8630

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


(successorClass April May) Merge.kif 8936-8936
(successorClass August September) Merge.kif 8940-8940
(successorClass February March) Merge.kif 8934-8934
(successorClass Friday Saturday) Merge.kif 8950-8950
(successorClass January February) Merge.kif 8933-8933
(successorClass July August) Merge.kif 8939-8939
(successorClass June July) Merge.kif 8938-8938
(successorClass March April) Merge.kif 8935-8935
(successorClass May June) Merge.kif 8937-8937
(successorClass Monday Tuesday) Merge.kif 8946-8946
(successorClass November December) Merge.kif 8943-8943
(successorClass October November) Merge.kif 8942-8942
(successorClass September October) Merge.kif 8941-8941
(successorClass Sunday Monday) Merge.kif 8945-8945
(successorClass Thursday Friday) Merge.kif 8949-8949
(successorClass Tuesday Wednesday) Merge.kif 8947-8947
(successorClass Wednesday Thursday) Merge.kif 8948-8948


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