| 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 16354-16356 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6796-6796 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7655-7655 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16353-16353 | 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 11477-11477 | Illegal is a subattribute of prohibition |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47648-47648 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47647-47647 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47646-47646 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16358-16360 | 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 11727-11734 |
|
| 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 2459-2475 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2436-2452 |
|
| 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 495-502 |
|
|
|
|