TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3852-3854
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17026-17029
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17023-17023	The number 1 argument of occupies position is an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17024-17024	The number 2 argument of occupies position is an instance of position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17025-17025	The number 3 argument of occupies position is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17022-17022	occupies position is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 551-551
No TPTP formula. May not be expressible in strict first order.	english_format.kif 556-556
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 552-552
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41605-41605
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41604-41604
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41603-41603

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18103-18112	If college freshman is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is less than 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18118-18128	If college junior is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 2 and the real number is less than 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18134-18144	If college senior is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 3 and the real number is less than 4
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18150-18160	If college sophomore is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 1 and the real number is less than 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20365-20371	If professor is an attribute of a human and the human holds the position of professor in an educational organization, then the human is a teacher in the educational organization and the educational organization is an instance of post secondary school
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18281-18285	If teacher is an attribute of a human and another human holds the position of the human in an educational organization, then the human is a teacher in the educational organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4503-4511	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 nation and an organization is an instance of diplomatic organization and the organization is a part of the organization the government of the geopolitical area and the human holds the position of the position in the organization and the agent is an instance of geopolitical area, then the agent is an agent operates in area of the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2306-2314	If a geopolitical area is an instance of geopolitical area and a human holds the position of leader in the government of the geopolitical area, then there exists a process such that the process is an instance of guiding and the geopolitical area is a patient of the process and the human is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1343-1347	If an organization is an instance of geopolitical area and a human holds the position of leader in the organization, then the human is a leader of the government of the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1453-1459	If a geopolitical area is an instance of nation and a human is a leader of the geopolitical area and a position is an instance of position and the human holds the position of the position in the government of the geopolitical area, then the position is a leader position of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3656-3661	If a human is an instance of human and the human holds the position of a position in an organization and banker is an attribute of the position, then the organization is an instance of bank- financial organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18319-18323	If a position is an instance of government position and a human holds the position of the position in the positionRG, then the positionRG is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1444-1450	If an organization is an instance of agent and a human is a leader of the organization and a position is an instance of position and the human holds the position of the position in the organization, then the position is a leader position of the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1484-1491	If a human is an instance of human and a position is an instance of position and a geopolitical area is an instance of geopolitical area and the position is a leader position of the geopolitical area and the human holds the position of the position in the government of the geopolitical area, then the human is a leader of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1475-1482	If a human is an instance of human and a position is an instance of position and an organization is an instance of agent and the position is a leader position of the organization and the human holds the position of the position in the organization, then the human is a leader of the organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20220-20224	If a human holds the position of a position in an organization and the position is an instance of religious position, then the organization is an instance of religious organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18308-18312	If a human holds the position of a position in an organization and the position is an instance of sports position, then the organization is an instance of sports team
No TPTP formula. May not be expressible in strict first order.	Government.kif 2292-2296	If a human holds the position of a position in an organization and the organization is an instance of political party, then the human is a member of the organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22199-22207	If an organization is subordinate position a position for another position and a human holds the position of the position in the organization, then there exists another human such that the other human is an instance of human and the other human holds the position of the other position in the organization and the organization is subordinate in organization the human for the other human
No TPTP formula. May not be expressible in strict first order.	Government.kif 4851-4855	If an entity holds the position of secretary of the interior in united states department of interior holds during a time position, then the entity is a leader of united states department of interior holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20252-20261	If an entity holds the position of deacon in another entity and the other entity is an instance of religious organization holds during a time position, then there exists a third entity such that the third entity holds the position of cleric in the other entity and the other entity is subordinate in organization the entity for the third entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17031-17033	If a human holds the position of a position in an organization, then the position is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	People.kif 1300-1302	If a human holds the position of pope in roman catholic church, then the human is a leader of roman catholic church
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20357-20359	If a human holds the position of judge in an organization, then the organization is an instance of judicial organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20349-20355	If a human holds the position of judge in an organization, then the statement there exists an entity such that the entity is an instance of legal decision and the human is an agent of the entity has the modal force of permission

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1847-1851	If an election candidate for position a social role for a cognitive agent and an agent is an agent of the election, then the cognitive agent desires the cognitive agent holds the position of the social role in the agent
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-171	If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then a human holds the position of valet in the organization and the statement there exists another entity such that the other entity is an instance of valet parking and the human is an agent of the other entity and the entity is a patient of the other entity and the other entity ends up at a third entity and the third entity is an instance of parking area has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Government.kif 4462-4470	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 nation, then there exists an organization such that the organization is an instance of diplomatic organization and the organization is a part of the organization the government of the geopolitical area and the human holds the position of the position in the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4472-4476	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 human holds the position of the position in an organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1003-1016	If a process is an instance of appointing and an entity is a patient of the process, then there exist another entity and a third entity such that the entity doesn't hold the position of the other entity in the third entity holds during the beginning of the time of existence of the process and the entity holds the position of the other entity in the third entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1803-1809	If a human is an instance of human and an organization is an instance of organization and a position is an instance of position and the member role of the organization and the position is an attribute of the human, then the human holds the position of the position in the organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16391-16404	If a process is an instance of transferring position and an agent experiences the process, then there exist an entity, another entity and a third entity such that the agent holds the position of the entity in the third entity holds during the beginning of the time of existence of the process and the agent holds the position of the other entity in the third entity holds during the end of the time of existence of the process and the entity is not equal to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22199-22207	If an organization is subordinate position a position for another position and a human holds the position of the position in the organization, then there exists another human such that the other human is an instance of human and the other human holds the position of the other position in the organization and the organization is subordinate in organization the human for the other human
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 148-151	If an organization is capable of doing valet parking as a agent, then there exists a human such that the human holds the position of valet in the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1559-1561	If a geopolitical area chief of state a position for a human, then the human holds the position of the position in the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1563-1565	If a geopolitical area chief of state a position for a human, then the human holds the position of leader in the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17035-17038	If an organization employs a human, then there exists a position such that the human holds the position of the position in the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1612-1614	If a geopolitical area is the head of government a position for a human, then the human holds the position of the position in the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20252-20261	If an entity holds the position of deacon in another entity and the other entity is an instance of religious organization holds during a time position, then there exists a third entity such that the third entity holds the position of cleric in the other entity and the other entity is subordinate in organization the entity for the third entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7351-7355	If an organization is an instance of cafeteria, then there doesn't exist a human such that the human holds the position of service position in the organization
No TPTP formula. May not be expressible in strict first order.	Law.kif 245-248	If a human is the judge in a process, then there exists an organization such that the human holds the position of judge in the organization
No TPTP formula. May not be expressible in strict first order.	Law.kif 168-171	If a human punishes an agent, then there exist an organization and a position such that the human holds the position of the position in the organization
No TPTP formula. May not be expressible in strict first order.	Law.kif 173-179	If a human punishes an agent, then there exist an organization, a position and a process such that the human holds the position of the position in the organization and the human is an agent of the process and the organization wants the process
No TPTP formula. May not be expressible in strict first order.	Law.kif 124-127	If a human rewards an agent, then there exist an organization and a position such that the human holds the position of the position in the organization
No TPTP formula. May not be expressible in strict first order.	Law.kif 129-135	If a human rewards an agent, then there exist an organization, a position and a process such that the human holds the position of the position in the organization and the human is an agent of the process and the organization wants the process

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

KB Term:			Term intersection

English Word: