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 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 |