|
|
  Prohibition
|
|
|
| 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 17511-17513 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6795-6795 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7653-7653 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17510-17510 | Prohibition e' uma instancia de Atributo Deontico |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13840-13840 | Illegal e' um sub-atributo de Prohibition |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47654-47654 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47653-47653 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47652-47652 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17515-17517 | O argumento Formula tem a forca modal de Prohibition o argumento Formula nao %n a forca modal de Permission |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14091-14098 |
|
| No TPTP formula. May not be expressible in strict first order. | Law.kif 335-337 | |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 351-353 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2512-2528 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2489-2505 |
|
| No TPTP formula. May not be expressible in strict first order. | Law.kif 330-333 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 398-405 |
|
|
|
|
