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 9131-9133
(documentation successorClass JapaneseLanguage "次のクラスは、曜日などのクラスのシーケンスであ る。最初の引数は、2番目の引数の 「前」 である。") japanese_format.kif 1533-1534
(domain successorClass 1 Class) Merge.kif 9126-9126 successorClass 的 1 数量 是 instance
(domain successorClass 2 Class) Merge.kif 9127-9127 successorClass 的 2 数量 是 instance
(instance successorClass BinaryPredicate) Merge.kif 9124-9124 successorClass二元谓语instance
(instance successorClass TransitiveRelation) Merge.kif 9125-9125 successorClass传递关系instance
(relatedInternalConcept successorClass successorAttribute) Merge.kif 9135-9135 successorClass后续属性 是 内部相关

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


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

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 8819-8826
(=>
    (and
        (instance ?M1
            (MonthFn ?N1
                (YearFn ?Y)))
        (instance ?M2
            (MonthFn ?N2
                (YearFn ?Y)))
        (successorClass ?N1 ?N2))
    (earlier ?M1 ?M2))
Merge.kif 8828-8833

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


(successorClass April May) Merge.kif 9140-9140 successorClass A四月 and 五月
(successorClass August September) Merge.kif 9144-9144 successorClass 八月 and 九月
(successorClass February March) Merge.kif 9138-9138 successorClass 二月 and 三月
(successorClass Friday Saturday) Merge.kif 9154-9154 successorClass 星期五 and 星期六
(successorClass January February) Merge.kif 9137-9137 successorClass 一月 and 二月
(successorClass July August) Merge.kif 9143-9143 successorClass 七月 and 八月
(successorClass June July) Merge.kif 9142-9142 successorClass 六月 and 七月
(successorClass March April) Merge.kif 9139-9139 successorClass 三月 and A四月
(successorClass May June) Merge.kif 9141-9141 successorClass 五月 and 六月
(successorClass Monday Tuesday) Merge.kif 9150-9150 successorClass 星期一 and 星期二
(successorClass November December) Merge.kif 9147-9147 successorClass 十一月 and 十二月
(successorClass October November) Merge.kif 9146-9146 successorClass 十月 and 十一月
(successorClass September October) Merge.kif 9145-9145 successorClass 九月 and 十月
(successorClass Sunday Monday) Merge.kif 9149-9149 successorClass 星期日 and 星期一
(successorClass Thursday Friday) Merge.kif 9153-9153 successorClass 星期四 and 星期五
(successorClass Tuesday Wednesday) Merge.kif 9151-9151 successorClass 星期二 and 星期三
(successorClass Wednesday Thursday) Merge.kif 9152-9152 successorClass 星期三 and 星期四


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