deprivesNorm |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4000-4000 | deprives norm and confers norm are disjoint |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2105-2106 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4005-4007 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 756-757 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4001-4001 | The number 1 argument of deprives norm is an instance of entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4002-4002 | The number 2 argument of deprives norm is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4003-4003 | The number 3 argument of deprives norm is an instance of objective norm |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3999-3999 | deprives norm is an instance of ternary predicate |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 716-716 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 715-715 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 714-714 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19173-19173 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19172-19172 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19171-19171 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Law.kif 366-368 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 370-372 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4009-4018 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2626-2635 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2577-2586 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2593-2602 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 366-368 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13137-13142 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15523-15528 |
|
![]() |
![]() |