Prohibition - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Prohibition

Prohibition(prohibition)

forbidden, out, prohibited, proscribed, taboo, tabu, verboten, wrong, wrongfulness

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3913-3914
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17686-17688
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6794-6794
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7652-7652
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17685-17685	Prohibition is an instance of deontic attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15211-15211	Illegal is a subattribute of prohibition
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47656-47656	Illegal is a subattribute of prohibition
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47655-47655	Illegal is a subattribute of prohibition
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47654-47654	Illegal is a subattribute of prohibition

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17690-17692	The statement a formula has the modal force of prohibition if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15462-15469	If a cognitive agent has the responsibility to make a proposition prohibition in an agreement, then the cognitive agent doesn't have the right to perform there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Law.kif 341-343	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 357-359	If an entity deprives norm a formula for prohibition, then the entity confers norm the formula for permission

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7861-7869	If a process is an instance of entering and the process ends up at a region and physically restricted region is an attribute of the region and not another region is the entrance for the region , then the statement the other region is path along which the process occurs has the modal force of prohibition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7882-7890	If a process is an instance of exiting and the process originates at a region and physically restricted region is an attribute of the region and not another region is the entrance for the region , then the statement the other region is path along which the process occurs has the modal force of prohibition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2523-2539	If a policy is an instance of pet policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object has the modal force of permission or the policy contains information the statement there exists another entity such that the other entity is an instance of domestic animal and the other entity is located at the object has the modal force of prohibition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2500-2516	If a policy is an instance of smoking policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the entity is an instance of smoking and the entity is located at the object has the modal force of permission or the policy contains information the statement there exists another entity such that the other entity is an instance of smoking and the other entity is located at the object has the modal force of prohibition
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3275-3299	If an object is an instance of transitway and unidirectional traffic is an attribute of the object, then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and equal the other entity and the fifth entity holds during the time of existence of the other entity for prohibition
No TPTP formula. May not be expressible in strict first order.	Law.kif 336-339	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.	UXExperimentalTerms.kif 398-405	If an object is prohibited for sale on a web site, then the statement there exists an entity such that the entity is an instance of selling and the web site facilitates the entity has the modal force of prohibition

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 3.0 is open source software produced by Articulate Software and its partners