deprivesNorm - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - deprivesNorm

deprivesNorm

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4121-4121	deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4128-4129
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4125-4127
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4122-4122	The number 1 argument of deprives norm is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4123-4123	The number 2 argument of deprives norm is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4124-4124	The number 3 argument of deprives norm is an instance of objective norm
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4120-4120	deprives norm is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 188-188
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3617-3617	"deprives norm" is the printable form of deprives norm in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Law.kif 386-388	If an entity deprives norm a formula for permission, then the entity deprives norm the formula for obligation
No TPTP formula. May not be expressible in strict first order.	Law.kif 390-392	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 4130-4134	If an entity deprives norm a formula for an objective norm holds during a time position, then the statement the formula has the modal force of the objective norm holds during immediately before the time position and the statement the formula doesn't have the modal force of the objective norm holds during immediately after the time position

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2567-2576	If a policy is an instance of no children allowed and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists a physical such that the physical is an instance of human child and the physical is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2518-2527	If a policy is an instance of no pets allowed and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists a physical such that the physical is an instance of domestic animal and the physical is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2534-2543	If a policy is an instance of no smoking policy and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists a physical such that the physical is an instance of smoking and the physical is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Law.kif 386-388	If an entity deprives norm a formula for permission, then the entity deprives norm the formula for obligation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13087-13092	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 15622-15627	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 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