confersNorm |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2103-2104 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3996-3998 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 754-755 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3992-3992 | The number 1 argument of confers norm is an instance of entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3993-3993 | The number 2 argument of confers norm is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3994-3994 | The number 3 argument of confers norm is an instance of objective norm |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3991-3991 | confers norm is an instance of ternary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4013-4013 | deprives norm and confers norm are disjoint |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 520-520 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 519-519 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 518-518 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16578-16578 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16577-16577 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16576-16576 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Law.kif 339-341 |
|
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. | Law.kif 335-337 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4000-4010 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18679-18695 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16882-16893 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16582-16589 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16561-16575 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2561-2570 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2610-2619 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18701-18712 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 11456-11468 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16542-16554 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 339-341 |
|
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. | Law.kif 335-337 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 351-353 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13246-13251 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15639-15644 |
|