TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3895-3897
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17189-17191
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17186-17186	The number 1 argument of confers right is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17187-17187	The number 2 argument of confers right is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17188-17188	The number 3 argument of confers right is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17185-17185	confers right 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 203-203
No TPTP formula. May not be expressible in strict first order.	english_format.kif 204-204
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17210-17210	confers obligation is internally related to confers right
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16581-16581
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16580-16580
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16579-16579

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 719-724	If a time point is an agreement effective date of an agreement and the agreement allows a cognitive agent to perform task of the type a formula and a time position is an instance of the time point, then the cognitive agent has the right to perform the formula holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17193-17195	If an entity allows a cognitive agent to perform task of the type a formula, then the cognitive agent has the right to perform the formula

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1129-1149	If a human is a citizen of a nation and universal suffrage law is a sub-proposition of the regional law of the nation, then the regional law of the nation allows the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity year duration(s) is a suffrage age minimum of the nation and the age of the human is the other entity year duration(s) and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 484-500	If a cognitive agent is a customer of another cognitive agent and the cognitive agent has a kind of physical and a kind of physical is a subclass of object and an entity is an instance of the kind of physical, then the cognitive agent allows the other cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of process and the entity is a resource for the other entity or the entity is an instrument for the other entity or the entity is a patient of the other entity and the other cognitive agent is an agent of the other entity or the other cognitive agent experiences the other entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 332-346	If a cognitive agent provides an object and the cognitive agent is a customer of another cognitive agent and an entity is an instance of the object and the other cognitive agent desires there exists another entity such that the other entity is an instance of intentional process and the entity is a patient of the other entity and the other cognitive agent is an agent of the other entity, then the statement the cognitive agent allows the other cognitive agent to perform task of the type the entity uses the other cognitive agent has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 289-308	If a human is a guest at a cognitive agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the cognitive agent and the temporary residence is an instance of the temporary residenceOOM and a kind of physical is an amenity in the temporary residenceOOM and a kind of physical is a subclass of object, then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the temporary residence and the cognitive agent allows the human to perform task of the type there exists an entity such that the human is an agent of the entity and the other physical is an instrument for the entity or the other physical is a patient of the entity or the other physical is a resource for the entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3195-3205	If an object is an instance of AOC number and a cognitive agent is an instance of Airline and the cognitive agent possesses the object, then Federal Aviation Administration allows the cognitive agent to perform task of the type there exists an entity such that the entity is an instance of Air Transportation Service and the cognitive agent provides a service during the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 89-103	If a process is an instance of armed reconnaissance and a cognitive agent is an agent of the process and an entity is a patient of the process and the cognitive agent and the entity are enemies of each other holds during the time of existence of the process, then the process allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of attack and the cognitive agent is an agent of the other entity and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15645-15657	If an entity is an instance of legal award and the entity includes a reference to a process and the process is an instance of legal action and a cognitive agent is an agent of the process, then the entity allows the cognitive agent to perform task of the type there exist another entity, a third entity and a fourth entity such that the other entity is an instance of getting and the cognitive agent experiences the other entity and the third entity is a patient of the other entity and value of the third entity is the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17996-18014	If a process is an instance of inheriting and a cognitive agent is an agent of the process and the process originates at an agent and an entity is a patient of the process, then there exists another process such that the other process is an instance of death and the agent experiences the other process and the time of existence of the other process happens earlier than the time of existence of the process and the agent possesses the entity holds during immediately before the time of existence of the other process and the agent allows the cognitive agent to perform task of the type the cognitive agent possesses the entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	If a collection is an instance of organization and air transportation industry is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and the cognitive agentLANE such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses a third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the cognitive agentLANE and the cognitive agentLANE is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	naics.kif 8736-8756	If a collection is an instance of organization and couriers and messengers is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of transportation and the cognitive agent possesses the entity and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8465-8488	If a collection is an instance of organization and pipeline transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent possesses a third entity and the third entity is a patient of the entity and the third entity is an instance of substance and the collection possesses the other entity and the cognitive agentIPE is an instrument for the entity and the cognitive agentIPE is an instance of pipeline
No TPTP formula. May not be expressible in strict first order.	naics.kif 8707-8727	If a collection is an instance of organization and postal service is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of transportation and the cognitive agent possesses the entity and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8034-8059	If a collection is an instance of organization and rail transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses a third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of rail vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8528-8549	If a collection is an instance of organization and scenic and sightseeing transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the entity is an instance of recreation or exercise and the cognitive agent is a patient of the entity and the collection possesses the other entity and the other entity is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8344-8364	If a collection is an instance of organization and transit and ground passenger transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity and the collection possesses the other entity and the other entity is an instance of land vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8253-8275	If a collection is an instance of organization and truck transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent possesses a third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of land vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	If a collection is an instance of organization and warehousing and storage is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist another entity and a third entity such that the third entity is an instance of time interval and the other entity is an instance of building and the cognitive agent possesses the entity and the other entity is located at the entity holds during the third entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8080-8105	If a collection is an instance of organization and water transportation industry is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses a third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17961-17969	If a process is an instance of stealing and the process ends up at a cognitive agent and the process originates at an object and the object is an instance of cognitive agent, then the object doesn't allow the cognitive agent to perform task of the type the process ends up at the cognitive agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 482-498	If an entity_CTRL is an instance of terminal attack control and an agent is an agent of the entity_CTRL and the entityRGET is a patient of the entity_CTRL, then there exists a cognitive agent such that the agent is not equal to the cognitive agent and the entity_CTRL allows the cognitive agent to perform task of the type there exists a third entity such that the third entity is an instance of attack and the cognitive agent is an agent of the third entity and the entityRGET is a patient of the third entity
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 102-121	If a cognitive agent possesses an object and the cognitive agent is an instance of commercial agent and the object is an instance of parking lot and another object is an instance of building and the cognitive agent is located at the other object and another cognitive agent is a customer of the cognitive agent and the other cognitive agent is located at the other object holds during a time position and a process is an instance of driving and an entity is a patient of the process and the other cognitive agent is an agent of the process and the process ends up at the other object, then the cognitive agent allows the other cognitive agent to perform task of the type another entity is an instance of keeping and the other entity ends up at the object and the entity is a patient of the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2326-2345	If arts and recreation tickets is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of selling and the other entity is a patient of the entity and the object is an agent of the entity and the other entity is an instance of ticket and the entity ends up at a third entity and the other entity has the purpose the object allows the third entity to perform task of the type there exist a fourth entity and a fifth entity such that the fourth entity is an instance of seeing and the third entity is an agent of the fourth entity and the fifth entity is a patient of the fourth entity and the fifth entity is an instance of performance or the fifth entity is an instance of sport
No TPTP formula. May not be expressible in strict first order.	Law.kif 386-388	If an entity obligates a cognitive agent to perform task of the type a formula, then the entity allows the cognitive agent to perform task of the type the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29280-29300	If an entity is an instance of Invoice, then there exist a symbolic string, a cognitive agent,, , another cognitive agent and another entity such that the unique identifier of the symbolic string is the entity and the cognitive agent buys the other entity from the other cognitive agent and the other cognitive agent allows the cognitive agent to perform task of the type there exists a third entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the third entity and the third entity is an instance of selling and a fourth entity is an instance of product and the object transferred in the third entity is the fourth entity and the entity includes a reference to the fourth entity and the other cognitive agent is an agent of the third entity and the cognitive agent is a patient of the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22006-22020	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

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: