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 8790-8790 |
|
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 8788-8788 |
Decade est reli� � l'int�rieur de SUMO � DecadeDuration |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8787-8787 |
Decade est une sous-classe de interval temporel |