Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Employment

Sigma KEE - Employment
Employment(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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners