Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| beforeOrEqual |
| appearance as argument number 1 |
|
| (instance beforeOrEqual BinaryPredicate) | Merge.kif 8338-8338 | before or equal is an instance of binary predicate |
| (instance beforeOrEqual TemporalRelation) | Merge.kif 8339-8339 | before or equal is an instance of temporal relation |
| (instance beforeOrEqual PartialOrderingRelation) | Merge.kif 8340-8340 | before or equal is an instance of partial ordering relation |
| (domain beforeOrEqual 1 TimePoint) | Merge.kif 8341-8341 | The number 1 argument of before or equal is an instance of time point |
| (domain beforeOrEqual 2 TimePoint) | Merge.kif 8342-8342 | The number 2 argument of before or equal is an instance of time point |
| (documentation beforeOrEqual EnglishLanguage "(beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline.") | Merge.kif 8344-8345 | The number 2 argument of before or equal is an instance of time point |
| appearance as argument number 2 |
|
|
| (subrelation before beforeOrEqual) | Merge.kif 8301-8301 | before is a subrelation of before or equal |
| (termFormat EnglishLanguage beforeOrEqual "before or equal") | domainEnglishFormat.kif 10551-10551 | before is a subrelation of before or equal |
| (termFormat ChineseTraditionalLanguage beforeOrEqual "之前或相等") | domainEnglishFormat.kif 10552-10552 | before is a subrelation of before or equal |
| (termFormat ChineseLanguage beforeOrEqual "之前或相等") | domainEnglishFormat.kif 10553-10553 | before is a subrelation of before or equal |
| (format EnglishLanguage beforeOrEqual "%1 %n{doesn't} happen%p{s} before or at %2") | english_format.kif 431-431 | before is a subrelation of before or equal |
| antecedent |
|
|
| (=> (beforeOrEqual ?POINT1 ?POINT2) (or (before ?POINT1 ?POINT2) (equal ?POINT1 ?POINT2))) |
Merge.kif 8347-8351 | If X happens before or at Y, then X happens before Y or equal X and Y |
| (=> (and (beforeOrEqual ?POINT1 ?POINT2) (beforeOrEqual ?POINT2 ?POINT3)) (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)) |
Merge.kif 8402-8406 | If X happens before or at Y and Y happens before or at Z, then Y is between or at X and Z |
| (=> (and (instance ?TI1 TimeInterval) (instance ?TI2 TimeInterval) (beforeOrEqual (BeginFn ?TI2) (BeginFn ?TI1)) (before (BeginFn ?TI1) (EndFn ?TI2))) (overlapsTemporally ?TI2 ?TI1)) |
Merge.kif 8471-8481 | If X is an instance of timeframe, Y is an instance of timeframe, the beginning of Y happens before or at the beginning of X, and the beginning of X happens before the end of Y, then X overlaps Y |
| consequent |
|
|
| (=> (and (holdsDuring ?T2 ?SIT2) (holdsDuring ?T1 ?SIT1) (instance ?T1 TimeInterval) (instance ?T2 TimeInterval) (causesProposition ?SIT1 ?SIT2)) (beforeOrEqual (BeginFn ?T1) (BeginFn ?T2))) |
Merge.kif 3940-3947 | If X holds during Y, Z holds during W, W is an instance of timeframe, Y is an instance of timeframe, and X is a causes proposition of Z, then the beginning of W happens before or at the beginning of Y |
| (=> (instance ?OBJ Object) (exists (?TIME1 ?TIME2) (and (instance ?TIME1 TimePoint) (instance ?TIME2 TimePoint) (before ?TIME1 ?TIME2) (forall (?TIME) (=> (and (beforeOrEqual ?TIME1 ?TIME) (beforeOrEqual ?TIME ?TIME2)) (time ?OBJ ?TIME)))))) |
Merge.kif 8312-8324 | If X is an instance of object, then there exist Y, Z such that Y is an instance of time point, Z is an instance of time point, Y happens before Z, W Y happens before, at W, and W happens before, or at ZX exists during W |
| (=> (or (before ?POINT1 ?POINT2) (equal ?POINT1 ?POINT2)) (beforeOrEqual ?POINT1 ?POINT2)) |
Merge.kif 8353-8357 | If X happens before Y or equal X and Y, then X happens before or at Y |
| (=> (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) (and (beforeOrEqual ?POINT1 ?POINT2) (beforeOrEqual ?POINT2 ?POINT3))) |
Merge.kif 8396-8400 | If X is between or at Y and Z, then Y happens before or at X and X happens before or at Z |
| (=> (and (firstInstanceCreated ?C ?T) (instance ?I ?C)) (beforeOrEqual ?T (BeginFn (WhenFn ?I)))) |
Mid-level-ontology.kif 33312-33318 | If X was firstInstanceCreated at Y and Z is an instance of X, then Y happens before or at the beginning of the time of existence of Z |
| (=> (and (amountDue ?Account ?Amount ?DueDate) (accountHolder ?Account ?Agent)) (holdsObligation ?Agent (exists (?Payment) (and (instance ?Payment Payment) (transactionAmount ?Payment ?Amount) (or (destination ?Payment (CurrencyFn ?Account)) (origin ?Payment (CurrencyFn ?Account))) (date ?Payment ?Date) (beforeOrEqual (EndFn ?Date) (BeginFn ?DueDate)))))) |
FinancialOntology.kif 676-689 | If X amount due Y for Z and W holds account X, then W is obliged to perform tasks of type there exists V such that V is an instance of payment, Y is a transaction amount of V, V ends up at the currency of X, V originates at the currency of X, date of V is U, and the end of U happens before, or at the beginning of Z |
|