| 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 8460-8462 | |
| (domain successorClass 1 SetOrClass) | Merge.kif 8457-8457 | successorClass 的 1 数量 是 集或类 的 instance |
| (domain successorClass 2 SetOrClass) | Merge.kif 8458-8458 | successorClass 的 2 数量 是 集或类 的 instance |
| (instance successorClass BinaryPredicate) | Merge.kif 8455-8455 | successorClass 是 二元谓语 的 instance |
| (instance successorClass TransitiveRelation) | Merge.kif 8456-8456 | successorClass 是 传递关系 的 instance |
| (relatedInternalConcept successorClass successorAttribute) | Merge.kif 8464-8464 | successorClass 和 后续属性 是 内部相关 |
| 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 8166-8173 | |
| (=> (and (instance ?M1 (MonthFn ?N1 (YearFn ?Y))) (instance ?M2 (MonthFn ?N2 (YearFn ?Y))) (successorClass ?N1 ?N2)) (earlier ?M1 ?M2)) |
Merge.kif 8175-8180 |
| appearance as argument number 0 |
|
|
|
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