TreeView Knowledge Base Browser - confersNorm

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - confersNorm

confersNorm

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2103-2104
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3915-3917
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3911-3911	The number 1 argument of confers norm is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3912-3912	The number 2 argument of confers norm is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3913-3913	The number 3 argument of confers norm is an instance of objective norm
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3910-3910	confers norm is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3932-3932	deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 520-520
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 519-519
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 518-518
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16569-16569
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16568-16568
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16567-16567

antecedent

No TPTP formula. May not be expressible in strict first order.	Law.kif 382-384	If an entity confers norm a formula for obligation, then the entity confers norm the formula for permission
No TPTP formula. May not be expressible in strict first order.	Law.kif 373-376	If an entity confers norm a formula for permission, then the entity doesn't confers norm the formula for prohibition
No TPTP formula. May not be expressible in strict first order.	Law.kif 378-380	If an entity confers norm a formula for prohibition, then the entity confers norm the formula for permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3919-3929	If an entity confers norm another entity for a third entity holds during a time position, then the statement the other entity doesn't have the modal force of the third entity holds during immediately before the time position and the statement the other entity has the modal force of the third entity holds during immediately after the time position

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 209-221	If monarchy is a government type of an agent and an entity is an instance of human and another entity is an instance of human and the agent chief of state a third entity for the entity holds during a time interval and the agent chief of state the third entity for the other entity holds during another time interval and the time interval happens earlier than the other time interval, then the other entity is a relative of the entity confers norm the agent chief of state the third entity for the other entity for legal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18030-18046	If a transfer is an instance of bequeathing and an agent is an agent of the transfer and the transfer ends up at an entity and the object transferred in the transfer is the agentROP, then there exists a process such that the process is an instance of death and the agent experiences the process and the time of existence of the process happens earlier than the time of existence of the transfer and the agent possesses the agentROP holds during immediately before the time of existence of the process and the agent confers norm the entity possesses the agentROP for permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16301-16312	If an object is an instance of drivers license and an agent possesses the object, then the object confers norm there exist an entity and another entity such that the entity is an instance of driving and the agent is an agent of the entity and the other entity is a patient of the entity and the other entity is an instance of road vehicle for permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16002-16009	If an object is an instance of pass certificate and an agent possesses the object, then there exists an entity such that the object confers norm the agent is located at the entity for permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15981-15995	If an object is an instance of passport and an agent possesses the object, then the object confers norm there exist an entity, another entity and a third entity such that the entity is an instance of translocation and the agent is an agent of the entity and the entity originates at the other entity and the entity ends up at the third entity and the other entity is an instance of nation and the third entity is an instance of nation and the other entity is not equal to the third entity for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2534-2543	If a policy is an instance of pets allowed and the policy covers an object and an organization enacts policy the policy, then the organization confers norm there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2583-2592	If a policy is an instance of smoking allowed policy and the policy covers an object and an organization enacts policy the policy, then the organization confers norm there exists an entity such that the entity is an instance of smoking and the entity is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18052-18063	If a process is an instance of seizing property 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 entity is an instance of government and the object doesn't confers norm the process ends up at the entity for permission
No TPTP formula. May not be expressible in strict first order.	naics.kif 11456-11468	If an agent is an instance of ticket and the agent possesses an object and a cognitive agent is an issued by of the agent and amusement gambling and recreation industries is an attribute of the cognitive agent and the cognitive agent is located at another object, then the cognitive agent confers norm there exists an entity such that the entity is an instance of recreation or exercise and the object experiences the entity and the entity is located at 2 for permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15962-15974	If a cognitive agent is an issued by of a certificate and the certificate is an instance of ticket and an agent possesses the certificate, then the cognitive agent confers norm there exists an entity such that there exists another entity such that the other entity is an instance of process and the cognitive agent is an agent of the other entity and the agent experiences the other entity holds during the entity for permission
No TPTP formula. May not be expressible in strict first order.	Law.kif 382-384	If an entity confers norm a formula for obligation, then the entity confers norm the formula for permission
No TPTP formula. May not be expressible in strict first order.	Law.kif 373-376	If an entity confers norm a formula for permission, then the entity doesn't confers norm the formula for prohibition
No TPTP formula. May not be expressible in strict first order.	Law.kif 378-380	If an entity confers norm a formula for prohibition, then the entity confers norm the formula for permission
No TPTP formula. May not be expressible in strict first order.	Law.kif 394-396	If an entity deprives norm a formula for prohibition, then the entity confers norm the formula for permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13000-13005	If an entity is an instance of declaring, then there exist a formula and an objective norm such that the entity confers norm the formula for the objective norm or the entity deprives norm the formula for the objective norm
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15357-15362	If an entity is an instance of certificate, then there exist a formula and an objective norm such that the entity confers norm the formula for the objective norm or the entity deprives norm the formula for the objective norm

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners