confersRight - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17696-17698
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17693-17695
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17690-17690	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 17691-17691	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 17692-17692	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 17689-17689	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 128-128
No TPTP formula. May not be expressible in strict first order.	french_format.kif 121-121
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 51-51
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 73-73
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 71-71
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 261-261
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 92-92
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 85-85
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17719-17719	confers obligation is internally related to confers right
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3186-3186	"confers right" is the printable form of confers right in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 521-521	"«يَسْمَح بـ تَنْفِيذ مَهَمَّة مِن النَّوع»" is the printable form of confers right in ar
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 119-119	"nakikipaghirap nagpapahintulot" is the printable form of confers right in tg

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 715-720	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.	TravelPolicies.kif 199-204	If a proposition is effective as of a kind of time position and the proposition allows a cognitive agent to perform task of the type a formula and another time position is an instance of a kind of time position, then the cognitive agent has the right to perform the formula holds during immediately after the other time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17700-17702	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 1103-1121	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 a time duration, another time duration and an election if the human is a citizen of the nation and the time duration is a suffrage age minimum of the nation and the age of the human is the other time duration and the other time duration is greater than or equal to the time duration and the election is an instance of the election of the nation, then there exists a process such that the process is an instance of the voting of the election and the human is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 477-493	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 object 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 a process such that the process is an instance of process and the object is a resource for the process or the object is an instrument for the process or the object is a patient of the process and the other cognitive agent is an agent of the process or the other cognitive agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 339-350	If a cognitive agent provides an object and the cognitive agent is a customer of another cognitive agent and an agent is an instance of the object and there exists a process such that the process is an instance of intentional process and the agent is a patient of the process and the other cognitive agent is an agent of the process, then the cognitive agent allows the other cognitive agent to perform task of the type the agent uses the other cognitive agent
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 an object such that the object is an instance of the kind of physical and the object is located at the temporary residence and the cognitive agent allows the human to perform task of the type there exists a process such that the human is an agent of the process and the object is an instrument for the process or the object is a patient of the process or the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3104-3114	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 a service such that the service is an instance of Air Transportation Service and the cognitive agent provides a service during the service
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 an agent is an agent of the process and another agent is a patient of the process and the agent and the other agent are enemies of each other holds during the time of existence of the process, then the process allows the agent to perform task of the type there exists another process such that the other process is an instance of attack and the agent is an agent of the other process and the other agent is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13587-13598	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 an agent is an agent of the process, then the entity allows the agent to perform task of the type there exist another process, a physical and a currency measure such that the other process is an instance of getting and the agent experiences the other process and the physical is a patient of the other process and value of the physical is the currency measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15880-15892	If a process is an instance of inheriting and an agent is an agent of the process and the process originates at another agent and an object is a patient of the process, then there exists another process such that the other process is an instance of death and the other 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 other agent possesses the object holds during immediately before the time of existence of the other process and the other agent allows the agent to perform task of the type the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	naics.kif 7962-7987	If an agent is an instance of organization and air transportation industry is an attribute of the agent, then there exist another agent and an object such that the object is a member of the agent and the other agent is an agent of the object and there exists a third agent such that the other agent is an instance of selling and the third agent is an instance of human and the third agent is a patient of the other agent and the object allows the third agent to perform task of the type there exist a process and the third agentLANE such that the process is an instance of transportation and the third agent is a patient of the process or the third agent possesses a third object and the third object is a patient of the process and the third object is an instance of object and the agent possesses the third agentLANE and the third agentLANE is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	naics.kif 8661-8681	If a collection is an instance of organization and couriers and messengers is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist another agent and another object such that the agent is an instance of selling and the other object is an instance of object and the other agent is an instance of human and the other agent is a patient of the agent and the object allows the other agent to perform task of the type there exists a process such that the process is an instance of transportation and the other agent possesses the other object and the other object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	naics.kif 8390-8413	If an agent is an instance of organization and pipeline transportation is an attribute of the agent, then there exist another agent and an object such that the object is a member of the agent and the other agent is an agent of the object and there exists a third agent such that the other agent is an instance of selling and the third agent is an instance of human and the third agent is a patient of the other agent and the object allows the third agent to perform task of the type there exist a process and another object such that the process is an instance of transportation and the third agent possesses a third object and the third object is a patient of the process and the third object is an instance of substance and the agent possesses the other object and the third agentIPE is an instrument for the process and the third agentIPE is an instance of pipeline
No TPTP formula. May not be expressible in strict first order.	naics.kif 8632-8652	If a collection is an instance of organization and postal service is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist another agent and another object such that the agent is an instance of selling and the other object is an instance of object and the other agent is an instance of human and the other agent is a patient of the agent and the object allows the other agent to perform task of the type there exists a process such that the process is an instance of transportation and the other agent possesses the other object and the other object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	naics.kif 8043-8068	If an agent is an instance of organization and rail transportation is an attribute of the agent, then there exist another agent and an object such that the object is a member of the agent and the other agent is an agent of the object and there exists a third agent such that the other agent is an instance of selling and the third agent is an instance of human and the third agent is a patient of the other agent and the object allows the third agent to perform task of the type there exist a process and another object such that the process is an instance of transportation and the third agent is a patient of the process or the third agent possesses a third object and the third object is a patient of the process and the third object is an instance of object and the agent possesses the other object and the other object is an instance of rail vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8453-8474	If an agent is an instance of organization and scenic and sightseeing transportation is an attribute of the agent, then there exist another agent and an object such that the object is a member of the agent and the other agent is an agent of the object and there exists an entity such that the other agent is an instance of selling and the entity is an instance of human and the entity is a patient of the other agent and the object allows the entity to perform task of the type there exist a process and another object such that the process is an instance of transportation and the process is an instance of recreation or exercise and the entity is a patient of the process and the agent possesses the other object and the other object is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8269-8289	If an agent is an instance of organization and transit and ground passenger transportation is an attribute of the agent, then there exist another agent and an object such that the object is a member of the agent and the other agent is an agent of the object and there exists an entity such that the other agent is an instance of selling and the entity is an instance of human and the entity is a patient of the other agent and the object allows the entity to perform task of the type there exist a process and another object such that the process is an instance of transportation and the entity is a patient of the process and the agent possesses the other object and the other object is an instance of land vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8178-8200	If an agent is an instance of organization and truck transportation is an attribute of the agent, then there exist another agent and an object such that the object is a member of the agent and the other agent is an agent of the object and there exists a third agent such that the other agent is an instance of selling and the third agent is an instance of human and the third agent is a patient of the other agent and the object allows the third agent to perform task of the type there exist a process and another object such that the process is an instance of transportation and the third agent possesses a third object and the third object is a patient of the process and the third object is an instance of object and the agent possesses the other object and the other object is an instance of land vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8701-8722	If a collection is an instance of organization and warehousing and storage is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist another agent and another object such that the agent is an instance of selling and the other object is an instance of object and the other agent is an instance of human and the other agent is a patient of the agent and the object allows the other agent to perform task of the type there exist a physical and an entity such that the entity is an instance of time interval and the physical is an instance of building and the other agent possesses the other object and the physical is located at the other object holds during the entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8089-8114	If an agent is an instance of organization and water transportation industry is an attribute of the agent, then there exist another agent and an object such that the object is a member of the agent and the other agent is an agent of the object and there exists a third agent such that the other agent is an instance of selling and the third agent is an instance of human and the third agent is a patient of the other agent and the object allows the third agent to perform task of the type there exist a process and another object such that the process is an instance of transportation and the third agent is a patient of the process or the third agent possesses a third object and the third object is a patient of the process and the third object is an instance of object and the agent possesses the other object and the other object is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15847-15853	If a process is an instance of stealing and the process ends up at an entity and the process originates at an object and the object is an instance of cognitive agent, then the object doesn't allow the entity to perform task of the type the process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 473-486	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 another agent such that the entity_CTRL allows the other agent to perform task of the type there exists a process such that the process is an instance of attack and the other agent is an agent of the process and the entityRGET is a patient of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 523-536	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 the entity_CTRL doesn't allow another agent to perform task of the type there exists a process such that the process is an instance of attack and the other agent is an agent of the process and the entityRGET is a patient of the process
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 102-119	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 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 process is an instance of keeping and the other process ends up at the object and the entity is a patient of the other process holds during the other cognitive agent is located at the other object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2294-2313	If arts and recreation tickets is an attribute of an agent, then the agent has purpose there exist a process and an entity such that the process is an instance of selling and the entity is a patient of the process and the agent is an agent of the process and the entity is an instance of ticket and the process ends up at another agent and the entity has purpose the agent allows the other agent to perform task of the type there exist another process and another entity such that the other process is an instance of seeing and the other agent is an agent of the other process and the other entity is a patient of the other process and the other entity is an instance of performance or the other entity is an instance of sport
No TPTP formula. May not be expressible in strict first order.	Law.kif 382-384	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 27601-27621	If a physical is an instance of Invoice, then there exist a symbolic string, a cognitive agent,, , another cognitive agent and an entity such that the unique identifier of the symbolic string is the physical and the cognitive agent buys the entity from the other cognitive agent and the other cognitive agent allows the cognitive agent to perform task of the type there exists a transfer such that the beginning of the time of existence of the physical happens before the beginning of the time of existence of the transfer and the transfer is an instance of selling and an object is an instance of product and the object transferred in the transfer is the object and the physical includes a reference to the object and the other cognitive agent is an agent of the transfer and the cognitive agent is a patient of the transfer

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: