startsDuring - Sigma Knowledge base Browser

appearance as argument number 1

(documentation startsDuring EnglishLanguage "(startsDuring ?INTERVAL1 ?INTERVAL2) means that the end point of ?INTERVAL1 starts during ?INTERVAL2.")	Merge.kif 8284-8284
(domain startsDuring 1 TimeInterval)	Merge.kif 8286-8286	The number 1 argument of starts during is an instance of timeframe
(domain startsDuring 2 TimeInterval)	Merge.kif 8287-8287	The number 2 argument of starts during is an instance of timeframe
(instance startsDuring BinaryPredicate)	Merge.kif 8288-8288	starts during is an instance of binary predicate
(instance startsDuring IrreflexiveRelation)	Merge.kif 8289-8289	starts during is an instance of irreflexive relation
(instance startsDuring TemporalRelation)	Merge.kif 8290-8290	starts during is an instance of temporal relation

appearance as argument number 2

(termFormat EnglishLanguage startsDuring "starts during")

antecedent

(=>
    (startsDuring ?INTERVAL1 ?INTERVAL2)
    (temporallyBetween
        (BeginFn ?INTERVAL2)
        (BeginFn ?INTERVAL1)
        (EndFn ?INTERVAL2)))

If starts during X and Y, then the beginning of X is between the beginning of Y and the end of Y

consequent

(=>
    (instance ?E Escaping)
    (exists (?C)
        (and
            (instance ?C Confining)
            (startsDuring
                (WhenFn ?C)
                (WhenFn ?E)))))

If X is an instance of escaping, then there exists Y such that Y is an instance of confining, starts during the time of existence of Y, and the time of existence of X