TreeView Knowledge Base Browser - Hiring

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Hiring

Hiring(hiring)

more pictures...

book, call-back, contract, contract_out, employ, employment, engage, engagement, hire, hired, indent, indenture, recruit, shape-up, ship, sign, sign_on, sign_up, staff

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2955-2956
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10721-10722
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10606-10608
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1710-1711
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4971-4971
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4972-4972
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4970-4970
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4969-4969
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4873-4873
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10719-10719	Hiring is a subclass of joining an organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10605-10605	Hiring is a subclass of organizational process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1101-1101
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1419-1419
No TPTP formula. May not be expressible in strict first order.	french_format.kif 779-779
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 311-311
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 314-314
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2463-2463
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 731-731
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 316-316
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 350-350
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 800-800
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 315-315

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10724-10732	If a process is an instance of hiring and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the agent doesn't employ the entity holds during the beginning of the time of existence of the process and the agent employs the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10610-10618	If a process is an instance of hiring and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the entity is not a member of the agent holds during the beginning of the time of existence of the process and the entity is a member of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10631-10643	If a process is an instance of hiring and a cognitive agent is an instance of organization and the cognitive agent is an agent of the process and an entity is a patient of the process, then the cognitive agent expects there exists another entity such that the other entity is an instance of financial transaction and the cognitive agent is an agent of the other entity and the other entity ends up at the entity and the time of existence of the process happens earlier than the time of existence of the other entity will be true
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10620-10629	If a process is an instance of hiring and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the agent employs the entity holds during immediately after the time of existence of the process

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