deprivesNorm |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3938-3938 | 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 3943-3945 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3939-3939 | 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 3940-3940 | 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 3941-3941 | 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 3937-3937 | 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 19167-19167 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19166-19166 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19165-19165 |
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 3947-3956 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2599-2608 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2550-2559 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2566-2575 |
|
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 13006-13011 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15370-15375 |
|
![]() |
![]() |