Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| activePolicy |
| 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)) |
TravelPolicies.kif 174-179 | If activePolicy X and Y, Z is an instance of Y, and X contains the formula W, then W holds during Z |
|