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 17582-17584 | |
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 17581-17581 | Prohibition est une instance de deontic attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13867-13867 | Illegal est un sous-attribut de Prohibition |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47656-47656 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47655-47655 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47654-47654 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17586-17588 | L'argument formule a la force modale de Prohibition l'argument formule n' %n{pas} la force modale de Permission |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14118-14125 |
|
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 |
|