Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AdoptingPolicy |
| appearance as argument number 1 |
|
| (subclass AdoptingPolicy Stating) | TravelPolicies.kif 227-227 | AdoptingPolicy is a subclass of stating |
| (documentation AdoptingPolicy EnglishLanguage "Instances of this Class are Statings in which two or more agents affirm the same thing (acknowledge the truth of the same Propositions).") | TravelPolicies.kif 228-229 | AdoptingPolicy is a subclass of stating |
| antecedent |
|
|
| (=> (instance ?AP AdoptingPolicy) (exists (?A1 ?A2) (and (agent ?AP ?A1) (agent ?AP ?A2) (not (equal ?A1 ?A2))))) |
TravelPolicies.kif 231-237 | If X is an instance of AdoptingPolicy, then there exist Y, Z such that Y is an agent of X, Z is an agent of X, equal Y, and Z |
| (=> (instance ?AP AdoptingPolicy) (exists (?PROP) (and (instance ?PROP Policy) (result ?AP ?PROP)))) |
TravelPolicies.kif 239-244 | If X is an instance of AdoptingPolicy, then there exists Y such that Y is an instance of policy and Y is a result of X |
|