TreeView Knowledge Base Browser

appearance as argument number 1

(instance activePolicy BinaryPredicate)	TravelPolicies.kif 168-168	activePolicy is an instance of binary predicate
(domain activePolicy 1 Proposition)	TravelPolicies.kif 169-169	The number 1 argument of activePolicy is an instance of proposition
(domainSubclass activePolicy 2 TimePosition)	TravelPolicies.kif 170-170	The number 2 argument of activePolicy is a subclass of time position
(documentation activePolicy EnglishLanguage "(activePolicy ?POL ?DATE) means that the policy ?POL is effective during the time indicated by ?DATE. The policy may be effective for longer than ?DATE, but it is in effect at least throughout the time indicated by ?DATE.")	TravelPolicies.kif 172-172	The number 2 argument of activePolicy is a subclass of time position

antecedent

(=>
    (and
        (activePolicy ?POL ?DATE)
        (instance ?TIME ?DATE)
        (containsFormula ?POL ?FORMULA))
    (holdsDuring ?TIME ?FORMULA))

If activePolicy X and Y, Z is an instance of Y, and X contains the formula W, then W holds during Z