consequent

(=>     (and         (amountDue ?Account ?Amount ?DueDate)         (accountHolder ?Account ?Agent))     (holdsObligation         (KappaFn ?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)))) ?Agent))	FinancialOntology.kif 657-669	If a financial account amount due a currency measure for a time position and a cognitive agent holds account the financial account, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=>     (and         (firstInstanceCreated ?C ?T)         (instance ?I ?C))     (beforeOrEqual ?T         (BeginFn             (WhenFn ?I))))	Mid-level-ontology.kif 32612-32618	If a kind of physical was firstInstanceCreated at a time point and another physical is an instance of a kind of physical, then the time point happens before or at the beginning of the time of existence of the other physical
(=>     (and         (holdsDuring ?T2 ?SIT2)         (holdsDuring ?T1 ?SIT1)         (instance ?T1 TimeInterval)         (instance ?T2 TimeInterval)         (causesProposition ?SIT1 ?SIT2))     (beforeOrEqual         (BeginFn ?T1)         (BeginFn ?T2)))	Merge.kif 3874-3881	If a formula holds during a time interval and another formula holds during another time interval and the other time interval is an instance of time interval and the time interval is an instance of time interval and the formula is a causes proposition of the other formula, then the beginning of the other time interval happens before or at the beginning of the time interval
(=>     (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 8245-8257	If a physical is an instance of object, then there exist a time point and another time point such that the time point is an instance of time point and the other time point is an instance of time point and the time point happens before the other time point and for all a third time point if the time point happens before or at the third time point and the third time point happens before or at the other time point, then the physical exists during the third time point
(=>     (or         (before ?POINT1 ?POINT2)         (equal ?POINT1 ?POINT2))     (beforeOrEqual ?POINT1 ?POINT2))	Merge.kif 8286-8290	If a time point happens before another time point or equal the time point and the other time point, then the time point happens before or at the other time point
(=>     (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)     (and         (beforeOrEqual ?POINT1 ?POINT2)         (beforeOrEqual ?POINT2 ?POINT3)))	Merge.kif 8329-8333	If a time point is between or at another time point and a third time point, then the other time point happens before or at the time point and the time point happens before or at the third time point

Show simplified definition (without tree view)
Show simplified definition (with tree view)