containsFormula |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1373-1377 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1367-1367 | containsFormula 的 1 数量 是 内容承载物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1368-1368 | containsFormula 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1366-1366 | containsFormula 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1371-1371 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1369-1369 | 包含信息 和 containsFormula 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1370-1370 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2331-2338 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12046-12062 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4195-4210 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 250-264 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 280-296 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 307-317 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 65-78 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 400-415 |
|