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 16711-16714
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16709-16709	The number 1 argument of employs is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16710-16710	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 16708-16708	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.	french_format.kif 321-321
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 91-91
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2089-2089
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 273-273
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 327-327
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 715-715
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 131-131
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 342-342
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 355-355
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 197-197
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22002-22002
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 22001-22001
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22000-22000
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 198-198

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3260-3266	An agreement employs another agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17325-17333	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 person is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Government.kif 2179-2183	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 20628-20650	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and an agent employs the cognitive agent and the agent is an instance of restaurant and the agent is a customer of another cognitive agent and the other cognitive agent is located at an object and the object is an instance of table, then there exist another object, an entity,, , another entity and a third object such that the agent possesses the third object and the third object is an instance of kitchen area and the other object is an instance of dining area and the object is located at the other object and the cognitive agent has the purpose the entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the third object and the entity ends up at the object and the other 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 2392-2407	If an agent is a customer of a cognitive agent and the agent employs another cognitive agent and traveler accommodation is an attribute of the agent and porter is an attribute of the other cognitive agent and the 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 other 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 1522-1535	If an agent employs a cognitive agent and traveler accommodation is an attribute of the agent and tennis pro is an attribute of the cognitive agent and another cognitive agent is a guest at the agent, then the statement there exist an entity and another entity such that the entity is an instance of tennis and the cognitive agent participates in the entity and the other cognitive agent participates in the entity and the entity is located at the other entity and the agent is located at the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3040-3054	If an agent employs a cognitive agent and a process is an instance of do network messaging and an object is a result of the process and not safe for work is an attribute of the object and another process is an instance of seeing and the object is a patient of the other process and the cognitive agent is an agent of the other process, then the statement there exists an entity such that the other process causes the entity and the cognitive agent suffers from the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3022-3038	If an agent employs a cognitive agent and the agent employs another cognitive agent and a process is an instance of do network messaging and an object is a result of the process and not safe for work is an attribute of the object and the cognitive agent is an agent of the process and another process is an instance of seeing and the object is a patient of the other process and the other cognitive agent is an agent of the other process, then the statement there exists the cognitive agentROC such that the process causes the cognitive agentROC and the cognitive agent suffers from the cognitive agentROC has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1180-1185	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 1192-1207	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 unit of currency 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 3590-3601	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 17353-17356	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 3635-3642	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 1935-1946	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 4450-4454	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 4456-4460	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 10774-10782	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 10758-10766	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 10654-10663	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 16943-16950	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 1902-1914	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 there exist a cognitive agent and an entity such that communal is an attribute of the object and the agent employs the cognitive agent and the cognitive agent has the purpose 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 4578-4583	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 4571-4576	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 21025-21031	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 the object 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 1883-1888	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 16865-16871	If a human and another human were employs by the same organization an organization, then there exists a time position such that the organization employs the human and the organization employs the other human holds during the time position
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3357-3364	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 22466-22471	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 23017-23026	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.	Medicine.kif 3122-3129	If an entity is an instance of drug store, then the statement there exists another entity such that pharmacist is an attribute of the other entity and the entity employs the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3084-3092	If a physical is an instance of Genius Bar, 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 2281-2292	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 8571-8584	If a collection is an instance of union organization, then there exist an agent and a cognitive agent such that if the 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 22612-22626	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 the physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2300-2307	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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 4590-4593

There exists a cognitive agent such that NewReporter is an attribute of the cognitive agent and Pro Publica Inc. employs the cognitive agent

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

KB Term:			Term intersection

English Word: