| 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 8491-8493 | |
| (domain successorClass 1 Class) | Merge.kif 8487-8487 | |
| (domain successorClass 2 Class) | Merge.kif 8488-8488 | |
| (instance successorClass BinaryPredicate) | Merge.kif 8485-8485 | |
| (instance successorClass TransitiveRelation) | Merge.kif 8486-8486 | |
| (relatedInternalConcept successorClass successorAttribute) | Merge.kif 8495-8495 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage successorClass "%2 is %n the successorClass of %2.") | Merge.kif 8489-8489 |
| 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 8195-8202 | |
| (=> (and (instance ?M1 (MonthFn ?N1 (YearFn ?Y))) (instance ?M2 (MonthFn ?N2 (YearFn ?Y))) (successorClass ?N1 ?N2)) (earlier ?M1 ?M2)) |
Merge.kif 8204-8209 |
| appearance as argument number 0 |
|
|
| (successorClass April May) | Merge.kif 8500-8500 | |
| (successorClass August September) | Merge.kif 8504-8504 | |
| (successorClass February March) | Merge.kif 8498-8498 | |
| (successorClass Friday Saturday) | Merge.kif 8514-8514 | |
| (successorClass January February) | Merge.kif 8497-8497 | |
| (successorClass July August) | Merge.kif 8503-8503 | |
| (successorClass June July) | Merge.kif 8502-8502 | |
| (successorClass March April) | Merge.kif 8499-8499 | |
| (successorClass May June) | Merge.kif 8501-8501 | |
| (successorClass Monday Tuesday) | Merge.kif 8510-8510 | |
| (successorClass November December) | Merge.kif 8507-8507 | |
| (successorClass October November) | Merge.kif 8506-8506 | |
| (successorClass September October) | Merge.kif 8505-8505 | |
| (successorClass Sunday Monday) | Merge.kif 8509-8509 | |
| (successorClass Thursday Friday) | Merge.kif 8513-8513 | |
| (successorClass Tuesday Wednesday) | Merge.kif 8511-8511 | |
| (successorClass Wednesday Thursday) | Merge.kif 8512-8512 |
|
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