Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Quitting(quitting) |
| appearance as argument number 1 |
|
| (subclass Quitting LeavingAnOrganization) | Merge.kif 10908-10908 | Quitting is a subclass of leaving an organization |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Quitting "quitting") | domainEnglishFormat.kif 65380-65380 |
| antecedent |
|
|
| (=> (and (instance ?LEAVE Quitting) (instance ?ORG Organization) (agent ?LEAVE ?PERSON) (patient ?LEAVE ?ORG)) (desires ?PERSON (holdsDuring (EndFn (WhenFn ?LEAVE)) (not (member ?PERSON ?ORG))))) |
Merge.kif 10912-10922 | If X is an instance of quitting, Y is an instance of organization, Z is an agent of X, and Y is a patient of X, then Z desires Z is not a member of Y holds during the end of the time of existence of X |
|