employs - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3725-3726
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15450-15453
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15448-15448	The number 1 argument of employs is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15449-15449	The number 2 argument of employs is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15447-15447	employs is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 547-547
No TPTP formula. May not be expressible in strict first order.	english_format.kif 555-555
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21931-21931
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 548-548
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21930-21930
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21929-21929

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16030-16036	A cognitive agent is an instance of human and for all an agent the agent doesn't employ the cognitive agent if and only if unemployed is an attribute of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3158-3164	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 2169-2173	If supreme court judge is an attribute of a cognitive agent and an agent employs the cognitive agent, then the agent is an instance of supreme court
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18313-18334	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and another cognitive agent employs the cognitive agent and the other cognitive agent is an instance of restaurant and the other cognitive agent is a customer of a third cognitive agent and the third cognitive agent is located at an object and the object is an instance of table, then the other cognitive agent possesses another object and the other object is an instance of kitchen area and a third object is an instance of dining area and the object is located at the third object and the cognitive agent purpose an entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the other object and the entity ends up at the object and another entity is a patient of the entity and the other entity is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2338-2353	If a cognitive agent is a customer of another cognitive agent and the cognitive agent employs a third cognitive agent and traveler accommodation is an attribute of the cognitive agent and porter is an attribute of the third cognitive agent and the other cognitive agent possesses an object and the object is an instance of travel container, then there exist another object and a process such that the other object is an instance of hotel unit and the process is an instance of carrying and the third cognitive agent is an agent of the process and the process ends up at the other object or the process originates at the other object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1470-1483	If a cognitive agent employs another cognitive agent and traveler accommodation is an attribute of the cognitive agent and tennis pro is an attribute of the other cognitive agent and a third cognitive agent is a guest at the cognitive agent, then the statement there exist an entity and another entity such that the entity is an instance of tennis and the other cognitive agent participates in the entity and the third cognitive agent participates in the entity and the entity is located at the other entity and the cognitive agent is located at the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1124-1129	If a financial account is an instance of pension plan and a cognitive agent holds account the financial account and a financial company employs the cognitive agent, then the financial company is a financial account of the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1136-1148	If a financial account is an instance of profit sharing plan and a cognitive agent holds account the financial account and an agent employs the cognitive agent and the profit from a financial transaction is a currency measure and the agent is an agent of the financial transaction, then there exist another currency measure and the currency measureAY such that the currency measureAY is an instance of financial transaction and the other currency measure is a transaction amount of the currency measureAY and the other currency measure is less than the currency measure and the currency measureAY ends up at the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3488-3499	If a process is an instance of commercial service and a cognitive agent is an agent of the process and an agent employs the cognitive agent and the process ends up at an entity, then the process purpose there exists another entity such that the other entity is an instance of financial transaction and the other entity ends up at the agent and the other entity originates at the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16056-16059	If an organization employs a human, then there exists a position such that the human holds the position of the position in the organization

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3534-3541	A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1883-1894	If traveler accommodation is an attribute of an agent and the agent is capable of doing service as a agent, then there exist a cognitive agent and an object such that the agent employs the cognitive agent and maid is an attribute of the cognitive agent and the object is an instance of hotel unit and the object is a part of belongings of the agent and the object is capable of doing service as a patient and the cognitive agent is capable of doing service as a service provider
No TPTP formula. May not be expressible in strict first order.	Government.kif 4417-4421	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of geopolitical area, then the geopolitical area の government employs the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 4423-4427	If an agent is diplomatic representative in role a human for a position with another agent and the agent is an instance of organization, then the agent employs the human
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 171-177	If a certificate is an instance of pay check and a cognitive agent is an issued by of the certificate and a process is an instance of giving and the process ends up at an agent, then the agent employs the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10005-10013	If a process is an instance of terminating employment 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 the beginning of the time of existence of the process and the agent doesn't employ 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 9989-9997	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.	Mid-level-ontology.kif 14524-14531	If a process is an instance of labor striking and a cognitive agent is an agent of the process and the cognitive agent is an instance of human and an agent is a patient of the process and the agent is an instance of organization, then the agent employs the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1850-1862	If an object is an instance of nursery and the object is an element of belongings of an agent and traveler accommodation is an attribute of the agent, then communal is an attribute of the object and the agent employs a cognitive agent and the cognitive agent purpose there exists an entity such that the entity is an instance of child-care service and the cognitive agent provides a service during the entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 4545-4550	If a geopolitical area is representative agent to agent a cognitive agent for an agent and the geopolitical area is an instance of nation and the cognitive agent is an instance of cognitive agent, then the geopolitical area の government employs the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4538-4543	If an agent is representative agent to agent a cognitive agent for another agent and the agent is an instance of organization and the cognitive agent is an instance of cognitive agent, then the agent employs the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18731-18737	If judge is an attribute of a cognitive agent, then there exists an agent such that the agent is an instance of judicial organization and the agent is an instance of government organization and the agent employs the cognitive agent
No TPTP formula. May not be expressible in strict first order.	naics.kif 11857-11869	If barber shops is an attribute of an object, then the object purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of hair and the entity is a part of the other entity and the other entity is an instance of human and the third entity is an instance of cutting and the entity is a patient of the third entity and the third entity is located at 2 and the fourth entity is an agent of the third entity and the object employs the fourth entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1831-1836	If an agent is capable of doing child-care service as a agent, then there exists a cognitive agent such that the agent employs the cognitive agent and the cognitive agent is capable of doing child-care service as a service provider
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3252-3259	If a human employee contribution a currency measure for a time interval, then there exist an agent and a process such that the process is an instance of pension plan and the agent employs the human and the agent is an agent of the process and the process ends up at the human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20347-20352	If government person is an attribute of an entity holds during a time position, then there exists another entity such that the other entity is an instance of government and the other entity employs the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20916-20923	If an entity is a coworker of another entity holds during a time position, then there exists a third entity such that the third entity is an instance of organization and the third entity employs the other entity and the third entity employs the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3057-3065	If a physical is an instance of GeniusBar, then the physical purpose there exist an entity and another entity such that the entity employs Apple and the other entity is an instance of customer support and the entity is an agent of the other entity and the other entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2227-2238	If a service is an instance of medical service, then there exist an agent, a cognitive agent and a process such that the agent is an agent of the service and the agent employs the cognitive agent and medical doctor is an attribute of the cognitive agent and the cognitive agent provides a service during the service and the process is an instance of therapeutic process or the process is an instance of diagnostic process and the process is a subprocess of the service
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8276-8289	If a collection is an instance of union organization, then there exists an agent such that if a cognitive agent is a member of the collection, then the agent is an instance of corporation and the agent employs the cognitive agent or there exists another agent such that the agent is an instance of industry and the other agent is a member of the agent and the other agent employs the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20493-20507	If a physical is an instance of restaurant building, then the physical purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and the fourth entityAY such that the entity employs the other entity and the entity possesses the physical and the fourth entity is an instance of human and the fourth entityAY is an instance of financial transaction and the fourth entity is an agent of the fourth entityAY and the other entity is a patient of the fourth entityAY and the third entity allows the fourth entity to perform task of the type the other entity and the third entity is an instance of eating and the fourth entity is an agent of the third entity and the third entity is located at 2
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2246-2253	If a service is an instance of secretarial service, then there exist a cognitive agent, another cognitive agent and a third cognitive agent such that the cognitive agent provides a service during the service and the other cognitive agent receives a service during the service and the cognitive agent employs the third cognitive agent and clerical secretary is an attribute of the third cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14580-14582	If an organization is monetary wage a human for a time duration with a currency measure, then the organization employs the human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 603-608	If an agent has staff a relational attribute, then there exists a cognitive agent such that the agent employs the cognitive agent and the relational attribute is an attribute of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20674-20676	If an organization is subordinate in organization a human for another human, then the organization employs the human

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: