Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Employer
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Employer EnglishLanguage "A person or firm that employs workers.") | Economy.kif 1469-1469 | |
| (subclass Employer AutonomousAgent) | Economy.kif 1470-1470 | Employer is a subclass of agent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Employer "employer") | Economy.kif 1471-1471 |
| antecedent |
|
|
| (=> (instance ?EMPLOYER Employer) (exists (?HIRING ?EMPLOYEE) (and (instance ?HIRING Hiring) (instance ?EMPLOYEE Employee) (agent ?HIRING ?EMPLOYER) (patient ?HIRING ?EMPLOYEE)))) |
Economy.kif 1473-1480 | If X is an instance of employer, then there exist Y, Z such that Y is an instance of hiring, Z is an instance of employee, X is an agent of Y, and Z is a patient of Y |
| consequent |
|
|
| (=> (instance ?EMPLOYEE Employee) (exists (?HIRING ?EMPLOYER) (and (instance ?HIRING Hiring) (instance ?EMPLOYER Employer) (agent ?HIRING ?EMPLOYER) (patient ?HIRING ?EMPLOYEE)))) |
Economy.kif 1486-1493 | If X is an instance of employee, then there exist Y, Z such that Y is an instance of hiring, Z is an instance of employer, Z is an agent of Y, and X is a patient of Y |
| (<=> (employs ?EMPLOYER ?EMPLOYEE) (and (instance ?EMPLOYER Employer) (instance ?EMPLOYEE Employee))) |
Economy.kif 1495-1499 | X employs Y if, only if X is an instance of employer, and Y is an instance of employee |
|