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 17533-17535 | |
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 17532-17532 | 禁令 是 道义属性 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13839-13839 | 非法 是 禁令 的 subAttribute |
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 17537-17539 | 公式 的声明 has 禁令 的语气 若且唯若 那个 公式 的声明 doesn't have 允许 的语气 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14090-14097 | |
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 |
|