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
-------------------------


s__documentation(s__Prohibition,s__ChineseLanguage,'"Prohibition 用来表示某种权威禁止 Agent 去 实现 PropositionDeonticAttribute。"')

chinese_format.kif 3913-3914
s__documentation(s__Prohibition,s__EnglishLanguage,'"Prohibition is the DeonticAttribute that applies to Formulas that an Agent is forbidden, by some authority, to make true."')

Merge.kif 16819-16821
s__externalImage(s__Prohibition,'"http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Prohibition_prescription_front.jpg"')

pictureList.kif 6796-6796
s__externalImage(s__Prohibition,'"http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Prohibition_lifted_in_Canberra_1928.jpg"')

pictureList.kif 7654-7654
s__instance(s__Prohibition,s__DeonticAttribute)

s__instance(s__DeonticAttribute,s__Class)

Merge.kif 16818-16818 Prohibition is an instance of deontic attribute

appearance as argument number 2
-------------------------


s__subAttribute(s__Illegal,s__Prohibition)

Mid-level-ontology.kif 13166-13166 Illegal is a subattribute of prohibition
s__termFormat(s__ChineseLanguage,s__Prohibition,'"禁令"')

domainEnglishFormat.kif 47637-47637
s__termFormat(s__ChineseTraditionalLanguage,s__Prohibition,'"禁令"')

domainEnglishFormat.kif 47636-47636
s__termFormat(s__EnglishLanguage,s__Prohibition,'"prohibition"')

domainEnglishFormat.kif 47635-47635

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 16823-16825 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 13417-13424
No TPTP formula. May not be expressible in strict first order. Law.kif 378-380
No TPTP formula. May not be expressible in strict first order. Law.kif 394-396

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2485-2501
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2462-2478
No TPTP formula. May not be expressible in strict first order. Law.kif 373-376
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 496-503


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