Function FINAL-TIME

• Defined in theory: Cml
• Source code: cml.lisp

Slots on this function:

Documentation:

The final time of a scenario is a time-quantity.

Instance-Of: Function

Arity: 2

Domain: Scenario

Range: Time-quantity

Other Related Axioms:

(Inherited-Facet-Value Slot-Cardinality Scenario Final-Time 1)

(Inherited-Facet-Value Slot-Value-Type
                       Scenario
                       Final-Time
                       Time-Quantity)

(=> (Scenario ?S)
    (And (Value-Type ?S Initial-Time Time-Quantity)
         (Value-Cardinality ?S Initial-Time 1)
         (Value-Type ?S Final-Time Time-Quantity)
         (Value-Cardinality ?S Final-Time 1)
         (Value-Cardinality ?S Scenario.Participants 1)))

(=> (Final-Time $X $Y) (Time-Quantity $Y))

(=> (Final-Time $X $Y) (Scenario $X))