deprivesNorm |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3875-3875 | 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 3880-3882 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3876-3876 | 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 3877-3877 | 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 3878-3878 | 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 3874-3874 | 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 19108-19108 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19107-19107 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19106-19106 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Law.kif 390-392 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 394-396 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3884-3893 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2572-2581 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2523-2532 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2539-2548 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 390-392 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12316-12321 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14505-14510 |
|
![]() |
![]() |