confersObligation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - confersObligation

confersObligation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17724-17726
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17720-17723
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17716-17716	The number 1 argument of confers obligation is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17717-17717	The number 2 argument of confers obligation is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17718-17718	The number 3 argument of confers obligation is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17715-17715	confers obligation is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17719-17719	confers obligation is internally related to confers right

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 201-201
No TPTP formula. May not be expressible in strict first order.	english_format.kif 127-127
No TPTP formula. May not be expressible in strict first order.	french_format.kif 120-120
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 50-50
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 72-72
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 70-70
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 258-258
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 91-91
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 84-84
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 202-202	"授予执行任务" is the printable form of confers obligation in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3185-3185	"confers obligation" is the printable form of confers obligation in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 520-520	"«يُجْبِر عَلَى تَنْفِيذ مَهَمَّة مِن النَّوع»" is the printable form of confers obligation in ar
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 117-117	"nakikipaghirap nauubliga" is the printable form of confers obligation in tg

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 708-713	If a time point is an agreement effective date of an agreement and the agreement obligates 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 is obliged to perform tasks of type the formula holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 192-197	If a proposition is effective as of a kind of time position and the proposition obligates 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 is obliged to perform tasks of type the formula holds during immediately after the other time position
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.	Merge.kif 17728-17730	If an entity obligates a cognitive agent to perform task of the type a formula, then the cognitive agent is obliged to perform tasks of type the formula

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 929-937	If a kind of content bearing object is an instance of joint publication and a kind of content bearing object contains information a formula and an agent is the author of the kind of content bearing object, then there exists an organization such that the organization is a part of the organization US military and the agent obligates the organization to perform task of the type the formula
No TPTP formula. May not be expressible in strict first order.	Government.kif 1174-1192	If compulsory suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation, then the regional law of the nation obligates 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.	Mid-level-ontology.kif 18056-18069	If a cognitive agent has a contract to build a stationary artifact, then there exist an agreement and another cognitive agent such that the agreement has an attribute contract and the agreement is a party to agreement of the other cognitive agent and the agreement is a party to agreement of the cognitive agent and the other cognitive agent obligates the cognitive agent to perform task of the type there exist a process and the stationary artifact2 such that the process is an instance of constructing and the cognitive agent is an agent of the process and the stationary artifact2 is a result of the process and the stationary artifact2 is an instance of stationary artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27626-27646	If a physical is an instance of PurchaseOrder, then there exist a symbolic string, a cognitive agent and another cognitive agent such that the unique identifier of the symbolic string is the physical and the cognitive agent buys an entity from the other cognitive agent and the cognitive agent obligates the other 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 buying 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 cognitive agent is an agent of the transfer and the other cognitive agent is a patient of the transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16628-16634	If there is a legal relation between a human and another human, then there exist an entity and a formula such that the entity is an instance of declaring and the entity obligates the human to perform task of the type the formula and the entity obligates the other human to perform task of the type the formula
No TPTP formula. May not be expressible in strict first order.	Government.kif 1156-1172	If compulsory suffrage law is a sub-proposition of the regional law of a nation, then the regional law of the nation obligates the nation to perform task of the type for all a human, 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

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