TreeView 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 16365-16368
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16363-16363	The number 1 argument of employs is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16364-16364	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 16362-16362	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 552-552
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21999-21999
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 21998-21998
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21997-21997

antecedent

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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17001-17009	An entity is an instance of human and for all another entity the other entity doesn't employ the entity holds during a time position if and only if unemployed is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Government.kif 2212-2216	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 19939-19960	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 has the 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 2365-2380	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 1497-1510	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 1179-1184	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 1191-1206	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 real number an unit of measure(s) and the unit of measure is an instance of UnitOfCurrency and the agent is an agent of the financial transaction, then there exist another real number and the real numberAY such that the real numberAY is an instance of financial transaction and the other real number the unit of measure(s) is a transaction amount of the real numberAY and the other real number is less than the real number and the real numberAY ends up at the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3594-3605	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 has the 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 17029-17032	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 3639-3646	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 1910-1921	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 4478-4482	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 government of the geopolitical area employs the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 4484-4488	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 10628-10636	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 10612-10620	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 10508-10517	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16355-16362	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 1877-1889	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 has the 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 4606-4611	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 government of the geopolitical area employs the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4599-4604	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 20335-20341	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 11934-11946	If barber shops is an attribute of an object, then the object has the 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 1858-1863	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.	Mid-level-ontology.kif 16278-16283	If a human and another human were employs by the same organization an organization, then the organization employs the human and the organization employs the other human holds during a time position
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3363-3370	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 21890-21895	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 22408-22417	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 3052-3060	If a physical is an instance of GeniusBar, then the physical has the 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 2254-2265	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 8147-8160	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 22002-22016	If a physical is an instance of restaurant building, then the physical has the 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 2273-2280	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 16411-16413	If an organization is monetary wage a human for a time duration with a currency measure, then the organization employs the human

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: