valence |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1494-1495 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 363-366 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 55-56 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 60-62 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 361-361 | 配价 的 1 数量 是 关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 362-362 | 配价 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 359-359 | 配价 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 360-360 | 配价 是 单值关系 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 327-327 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 332-332 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 186-186 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 309-309 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2006-2006 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 138-138 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 181-181 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 431-431 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 60-60 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 206-206 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 196-196 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61172-61172 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 328-328 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61171-61171 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61170-61170 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 180-184 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3048-3055 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 180-184 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3405-3407 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3468-3470 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3457-3459 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3365-3367 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3485-3487 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3507-3509 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3518-3520 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3496-3498 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3527-3531 |