| appearance as argument number 1 |
|
| (instance policyEffectiveDate BinaryPredicate) | TravelPolicies.kif 185-185 | policyEffectiveDate is an instance of binary predicate |
| (instance policyEffectiveDate AsymmetricRelation) | TravelPolicies.kif 186-186 | policyEffectiveDate is an instance of asymmetric relation |
| (domain policyEffectiveDate 1 Proposition) | TravelPolicies.kif 187-187 | The number 1 argument of policyEffectiveDate is an instance of proposition |
| (domainSubclass policyEffectiveDate 2 TimePosition) | TravelPolicies.kif 188-188 | The number 2 argument of policyEffectiveDate is a subclass of time position |
| (documentation policyEffectiveDate EnglishLanguage "(policyEffectiveDate ?POL ?TIME) means that the policy ?POL becomes effective on the date indicated by ?TIME.") | TravelPolicies.kif 190-190 | The number 2 argument of policyEffectiveDate is a subclass of time position |
| antecedent |
|
|
| (=> (and (policyEffectiveDate ?POL ?DATE) (confersObligation ?POL ?AGENT ?FORMULA) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsObligation ?FORMULA ?AGENT))) |
TravelPolicies.kif 192-197 | If policyEffectiveDate X and Y, Z obligates W to perform task of the type X, and V is an instance of Y, then Z is obliged to perform tasks of type W holds during immediately after V |
| (=> (and (policyEffectiveDate ?POL ?DATE) (confersRight ?POL ?AGENT ?FORMULA) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsRight ?FORMULA ?AGENT))) |
TravelPolicies.kif 199-204 | If policyEffectiveDate X and Y, Z allows W to perform task of the type X, and V is an instance of Y, then Z has the right to perform W holds during immediately after V |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners