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 8983-8985
(domain successorClass 1 Class) Merge.kif 8978-8978 successorClass 的 1 数量 是 instance
(domain successorClass 2 Class) Merge.kif 8979-8979 successorClass 的 2 数量 是 instance
(instance successorClass BinaryPredicate) Merge.kif 8976-8976 successorClass二元谓语instance
(instance successorClass TransitiveRelation) Merge.kif 8977-8977 successorClass传递关系instance
(relatedInternalConcept successorClass successorAttribute) Merge.kif 8987-8987 successorClass后续属性 是 内部相关

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


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

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 8671-8678
(=>
    (and
        (instance ?M1
            (MonthFn ?N1
                (YearFn ?Y)))
        (instance ?M2
            (MonthFn ?N2
                (YearFn ?Y)))
        (successorClass ?N1 ?N2))
    (earlier ?M1 ?M2))
Merge.kif 8680-8685

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


(successorClass April May) Merge.kif 8992-8992 successorClass A四月 and 五月
(successorClass August September) Merge.kif 8996-8996 successorClass 八月 and 九月
(successorClass February March) Merge.kif 8990-8990 successorClass 二月 and 三月
(successorClass Friday Saturday) Merge.kif 9006-9006 successorClass 星期五 and 星期六
(successorClass January February) Merge.kif 8989-8989 successorClass 一月 and 二月
(successorClass July August) Merge.kif 8995-8995 successorClass 七月 and 八月
(successorClass June July) Merge.kif 8994-8994 successorClass 六月 and 七月
(successorClass March April) Merge.kif 8991-8991 successorClass 三月 and A四月
(successorClass May June) Merge.kif 8993-8993 successorClass 五月 and 六月
(successorClass Monday Tuesday) Merge.kif 9002-9002 successorClass 星期一 and 星期二
(successorClass November December) Merge.kif 8999-8999 successorClass 十一月 and 十二月
(successorClass October November) Merge.kif 8998-8998 successorClass 十月 and 十一月
(successorClass September October) Merge.kif 8997-8997 successorClass 九月 and 十月
(successorClass Sunday Monday) Merge.kif 9001-9001 successorClass 星期日 and 星期一
(successorClass Thursday Friday) Merge.kif 9005-9005 successorClass 星期四 and 星期五
(successorClass Tuesday Wednesday) Merge.kif 9003-9003 successorClass 星期二 and 星期三
(successorClass Wednesday Thursday) Merge.kif 9004-9004 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