abstractCounterpart |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2382-2384 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6115-6119 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1061-1064 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6111-6111 | abstractCounterpart 的 1 数量 是 抽象体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6112-6112 | abstractCounterpart 的 2 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6110-6110 | abstractCounterpart 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6113-6113 | abstractCounterpart 是 表示 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2654-2654 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2653-2653 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2652-2652 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65765-65765 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2870-2876 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2806-2819 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6165-6176 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2846-2856 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2858-2868 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2806-2819 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2846-2856 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2858-2868 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2799-2804 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6157-6163 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2839-2844 |