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 6116-6120 |
|
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 6112-6112 |
Le nombre 1 argument de abstractCounterpart est une instance de abstrait |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6113-6113 |
Le nombre 2 argument de abstractCounterpart est une instance de physique |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6111-6111 |
abstractCounterpart est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6114-6114 |
abstractCounterpart est une sous-relation de represents |