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 | 赋予规范 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3993-3993 | 赋予规范 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3994-3994 | 赋予规范 的 3 数量 是 客观标准 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3991-3991 | 赋予规范 是 三元谓语 的 instance |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4013-4013 | 剥夺了规范 和 赋予规范 是 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 18678-18694 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16881-16892 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16581-16588 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16560-16574 | |
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 18700-18711 | |
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 16541-16553 | |
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 13268-13273 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15661-15666 |
![]() |
![]() |