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 9054-9056
(documentation successorClass JapaneseLanguage "次のクラスは、曜日などのクラスのシーケンスであ る。最初の引数は、2番目の引数の 「前」 である。") japanese_format.kif 1533-1534
(domain successorClass 1 Class) Merge.kif 9049-9049 successorClass, 1 and Class
(domain successorClass 2 Class) Merge.kif 9050-9050 successorClass, 2 and Class
(instance successorClass BinaryPredicate) Merge.kif 9047-9047 successorClass and BinaryPredicate
(instance successorClass TransitiveRelation) Merge.kif 9048-9048 successorClass and TransitiveRelation
(relatedInternalConcept successorClass successorAttribute) Merge.kif 9058-9058 相關的內部概念 successorClass and 繼承屬性

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


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

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

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


(successorClass April May) Merge.kif 9063-9063 successorClass April and May
(successorClass August September) Merge.kif 9067-9067 successorClass August and September
(successorClass February March) Merge.kif 9061-9061 successorClass February and March
(successorClass Friday Saturday) Merge.kif 9077-9077 successorClass Friday and Saturday
(successorClass January February) Merge.kif 9060-9060 successorClass January and February
(successorClass July August) Merge.kif 9066-9066 successorClass July and August
(successorClass June July) Merge.kif 9065-9065 successorClass June and July
(successorClass March April) Merge.kif 9062-9062 successorClass March and April
(successorClass May June) Merge.kif 9064-9064 successorClass May and June
(successorClass Monday Tuesday) Merge.kif 9073-9073 successorClass Monday and Tuesday
(successorClass November December) Merge.kif 9070-9070 successorClass November and December
(successorClass October November) Merge.kif 9069-9069 successorClass October and November
(successorClass September October) Merge.kif 9068-9068 successorClass September and October
(successorClass Sunday Monday) Merge.kif 9072-9072 successorClass Sunday and Monday
(successorClass Thursday Friday) Merge.kif 9076-9076 successorClass Thursday and Friday
(successorClass Tuesday Wednesday) Merge.kif 9074-9074 successorClass Tuesday and Wednesday
(successorClass Wednesday Thursday) Merge.kif 9075-9075 successorClass Wednesday and Thursday


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