No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2793-2793 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8768-8768 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1512-1512 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8766-8766 |
Decade est reli� � l'int�rieur de SUMO � DecadeDuration |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8765-8765 |
Decade est une sous-classe de interval temporel |