|
|
  Employment
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3265-3265 | Employment is a subattribute of financial contract |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3263-3263 | Employment is a subattribute of service contract |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21975-21975 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21974-21974 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21973-21973 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3267-3273 | An agent employs an agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agent is a party to agreement of the cognitive agent and the agreement is a party to agreement of the cognitive agent |
|
|
|