Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ChildrenPolicy(children policy) |
| appearance as argument number 1 |
|
| (subclass ChildrenPolicy Policy) | Hotel.kif 2548-2548 | Children policy is a subclass of policy |
| (documentation ChildrenPolicy EnglishLanguage "ChildrenPolicy dictates if HumanChild is allowed or not in an establishment") | Hotel.kif 2549-2550 | Children policy is a subclass of policy |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ChildrenPolicy "children policy") | Hotel.kif 2551-2551 | |
| (subclass NoChildrenPolicy ChildrenPolicy) | Hotel.kif 2639-2639 | No children allowed is a subclass of children policy |
| antecedent |
|
|
| (=> (and (instance ?POLICY ChildrenPolicy) (policyOwner ?AGENT ?POLICY) (policyLocationCoverage ?POLICY ?LOC)) (or (containsFormula ?POLICY (modalAttribute (exists (?CUST1) (and (customer ?CUST1 ?AGENT) (instance ?CUST1 HumanChild))) Possibility)) (containsFormula ?POLICY (not (modalAttribute (exists (?CUST2) (and (customer ?CUST2 ?AGENT) (instance ?CUST2 HumanChild))) Possibility))))) |
Hotel.kif 2553-2571 | If X is an instance of children policy, Y enacts policy X, and X covers Z, then X contains the formula the statement there exists W such that Y is a customer of W and W is an instance of human child has the modal force of possibility or X contains the formula the statement there doesn't exist V such that Y is a customer of V and V is an instance of human child doesn't have the modal force of possibility |
|